DMCA

Techniques for SAT-Based Constrained Test Pattern Generation (2011)

by Jiří Balcárek , Petr Fišer , Jan Schmidt
Venue:14TH EUROMICRO CONFERENCE ON DIGITAL SYSTEMS DESIGN
Citations:7 - 6 self