Ronald Herrmann Thomas Reielts Verification of a production cell using an automatic verification environment for VHDL. 542-547 1995 EURO-DAC http://doi.acm.org/10.1145/224270.224385 conf/eurodac/1995 db/conf/eurodac/euro-dac1995.html#HerrmannR95