Describing and designing circuits by means of a synchronous declarative language (1986)

by N Halbwachs, A Lonchampt, D Pilaud
Venue:In IFIP Working Conference \From HDL Descriptions To Guaranteed Correct Circuit Designs