Title

VHDL for simulation, synthesis, and formal proofs of hardware

Person Involved

Publisher

Kluwer Academic Publishers

Publishing Place

Dordrecht

Publication Date

1992

Series

The Kluwer international series in engineering and computer science; 183

ISBN

0-7923-9253-1