Coverage-directed validation of hardware models

LPSAT: a unified approach to RTL satisfiability

Proceedings of the conference on Design, automation and test in Europe

RTL-Datapath Verification using Integer Linear Programming

ASP-DAC '02 Proceedings of the 2002 Asia and South Pacific Design Automation Conference

Assertion-based automated functional vectors generation using constraint logic programming

Proceedings of the 14th ACM Great Lakes symposium on VLSI

Using Word-Level Information in Formal Hardware Verification

Automation and Remote Control

Functional test generation based on word-level SAT

Journal of Systems Architecture: the EUROMICRO Journal