M. Hsiao and J. Jain, "Practical Use of Sequential ATPG for Model Checking: Going the Extra Mile Does Pay Off," Proc. High-Level Design Validation and Test Workshop, Nov. 2001, pp. 39 -- 44. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Program Slicing for ATPG-Based Property Checking - Vivekananda Vedula Texas (Correct)
No context found.
M. Hsiao and J. Jain, "Practical Use of Sequential ATPG for Model Checking: Going the Extra Mile Does Pay Off," Proc. High-Level Design Validation and Test Workshop, Nov. 2001, pp. 39 -- 44.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC