Cited By
View all- Gupta AGanai MWang C(2006)SAT-Based verification methods and applications in hardware verificationProceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems10.1007/11757283_5(108-143)Online publication date: 22-May-2006
- Chandrasekar KHsiao MLach JQu GIsmail Y(2005)Forward image computation with backtracing ATPG and incremental state-set constructionProceedings of the 15th ACM Great Lakes symposium on VLSI10.1145/1057661.1057723(254-259)Online publication date: 17-Apr-2005
- Prasad MBiere AGupta A(2005)A survey of recent advances in SAT-based formal verificationInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-004-0183-47:2(156-173)Online publication date: 1-Apr-2005
- Show More Cited By