Xinli Gu Krzysztof Kuchcinski Zebo Peng Testability analysis and improvement from VHDL behavioral specifications. 644-649 1994 EURO-DAC http://doi.acm.org/10.1145/198174.198345 conf/eurodac/1994 db/conf/eurodac/euro-dac1994.html#GuKP94