TY  - BOOK
AU  - Umamageswaran, Kothanda
AU  - Pandey, Sheetanshu L
AU  - Wilsey, Philip A
TI  - Formal semantics and proof techniques for optimizing VHDL models
SN  - 9780792383758
SN  - 98045668
U1  - 621.392 UMA 
PY  - 1999///
CY  - Dordrecht ; Boston
PB  - Kluwer Academic Publishers
KW  - VHDL (Computer hardware description language)
N1  - Includes bibliographical references (p. [151]-155) and index
ER  -