@techreport{R-94-27,
TITLE = {Testability Analysis and Improvement from VHDL Behavioral Specifications},
AUTHOR = {Xinli Gu and Krzsztof Kuchcinski and Zebo Peng},
YEAR = {1994},
NUMBER = {R-94-27},
INSTITUTION = ida,
ADDRESS = idaaddr,
ABSTRACT = {},
IDANR = {LiTH-IDA-R-94-27},
NOTE = {Accepted to EURO-DAC'94 with EURO-VHDL'94 Conference, Grenoble, France, September 19-23, 1994}