From hdl descriptions to guaranteed correct circuit designs proceedings.
IFIP WG 10.2 International Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs (1986 Grenoble) Dominique Borrione
Amsterdam North-Holland 1987
Localização: EPBC - Esc. Politécnica-Bib Central (621.38.04 If5f )(Acessar)