An automatic test generation algorithm for hardware description languages
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
On behavior fault modeling for digital designs
Journal of Electronic Testing: Theory and Applications
Functional testing techniques for digital LSI/VLSI systems
DAC '84 Proceedings of the 21st Design Automation Conference
Testing functional faults in VLSI
DAC '82 Proceedings of the 19th Design Automation Conference
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
Hi-index | 0.00 |