Formal semantics and proof techniques for optimizing VHDL models /

Bibliographic Details

Main Author:	Umamageswaran, Kothanda, 1974-
Other Authors:	Pandey, Sheetanshu L., 1972-, Wilsey, Philip A., 1958-
Format:	Book
Language:	English
Published:	Boston : Kluwer Academic Publishers, [1999]
Subjects:	VHDL (Computer hardware description language)