Author:
Corno Fulvio,Cumani Gianluca,Sonza Reorda Matteo,Squillero Giovanni
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. “High Time for High-Level Test Generation,” Panel at the IEEE International Test Conference, 1999, pp. 1112–1119
2. M. Abramovici, M.A. Breuer, A.D. Friedman, Digital systems testing and testable design, Computer Science Press, 1990
3. A. Fin, F. Fummi, “A VHDL Error Simulator for Functional Test Generation,” IEEE European Design, Automation and Test Conference, 2000, pp. 390–395
4. F. Fallah, S. Devadas, K. Keutzer, “OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification,” DAC98: 34 th Design Automation Conference, 1998
5. F. Ferrandi, F. Fummi, L. Gerli, D. Sciuto, “Symbolic Functional Vector Generation for VHDL Specifications,” DAC99: 35 th Design Automation Conference, 1999, pp. 442–446
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Test Generation: A Symbolic Approach;System-level Test and Validation of Hardware/Software Systems;2005
2. Evolutionary Techniques for Minimizing Test Signals Application Time;Lecture Notes in Computer Science;2002