Title: Formal semantics and proof techniques for optimizing VHDL models
First published: 1999
Subjects: VHDL (Computer hardware description language), Vhdl (computer hardware description language)
LC classification: TK7885.7 .U43 1999