Skip to content

Efficient Techniques for Directed Test Generation Using Incremental Satisfiability.

Prabhat Mishra, Mingsong Chen

Year2009
ProceedingsVLSI Design

Browse the full VLSID paper archive.