DMCA

Verification of Sequential Circuits by Tests-As-Proofs Paradigm

by Eugene Goldberg , Mitesh Jain , Panagiotis Manolios