Towards Test Case Generation for Synthesizable VHDL Programs Using Model Checker
FREE-DOWNLOAD [PDF] T Ayav, T Tuglular… – 2010 Fourth International Conference on …, 2010
Synthesizable VHDL allows us to describe the circuits, simulate and physically realize them,
thanks to of PLD (Programmable Logic Device) family and commonly used in digital design today.
the general structure of digital circuits such that both a complex microprocessor and a