Synthesizable VHDL

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