Jacob Abraham;Kurt Henry Thearling
-;-
Automatic test knowledge extraction from VHDL (ATKET)
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference