1. Wu's Characteristic Set Method for System Verilog Assertions Verification.
- Author
-
Xinyan Gao, Ning Zhou, Jinzhao Wu, and Dakui Li
- Subjects
- *
SET theory , *VERILOG (Computer hardware description language) , *ASSERTIONS (Logic) , *VERIFICATION of computer systems , *DIGITAL electronics , *POLYNOMIALS , *ALGORITHMS - Abstract
We propose a verification solution based on characteristic set of Wu'smethod towards System Verilog assertion checking over digital circuit systems. We define a suitable subset of SVAs so that an efficient polynomialmodeling mechanism for both circuit descriptions and assertions can be applied. We present an algorithm framework based on the algebraic representations using characteristic set of polynomial system. This symbolic algebraic approach is a useful supplement to the existent verification methods based on simulation. [ABSTRACT FROM AUTHOR]
- Published
- 2013
- Full Text
- View/download PDF