1 book • 2 series
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems) (Series on Integrated Circuits and Systems)