M. Reza Javaheri, Reza Sedaghat, Leo Kant, Jason Zalev. Verification and fault synthesis algorithm at switch-level. Microprocessors and Microsystems, 30(4):199-208, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.