Mermet, Jean P. "VHDL for Simulation, Synthesis, and Formal Proofs of Hardware" Kluwer Academic Publishers, 1992
(1992)
Languages mentioned
VHDL
{1985} Hardware description language