VHDL for similation, synthesis and formal proof of hardware
ed. by Jean Mermet
VHDL for similation, synthesis and formal proof of hardware - Dordrecht Kluwer Academic 1992 - ix, 307p. - Kluwer International Series in Engineering and Computer Science .
0792392531
621.392 / N922
VHDL for similation, synthesis and formal proof of hardware - Dordrecht Kluwer Academic 1992 - ix, 307p. - Kluwer International Series in Engineering and Computer Science .
0792392531
621.392 / N922