VHDL for simulation, synthesis and formal proofs of hardware (Kluwer Acad. Publ., 1992)
Literaturangaben