TY  - BOOK
AU  - Borrione,  Dominique
TI  - From HDL descriptions to guaranteed correct circuit designs.
U1  - 621.38153 F92 
ER  -