Using Word-Level ATPG and Modular Arithmetic Constraint-Solving Techniques for Assertion Property Checking
Journal
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Journal Volume
20
Journal Issue
3
Pages
381-391
Date Issued
2001-03
Author(s)
Type
journal article