Wu’s Characteristic Set Method for SystemVerilog Assertions Verification
Joint Authors
Zhou, Ning
Wu, Jinzhao
Gao, Xinyan
Li, Dakui
Source
Journal of Applied Mathematics
Issue
Vol. 2013, Issue 2013 (31 Dec. 2013), pp.1-14, 14 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2013-06-16
Country of Publication
Egypt
No. of Pages
14
Main Subjects
Abstract EN
We propose a verification solution based on characteristic set of Wu’s method towards SystemVerilog assertion checking over digital circuit systems.
We define a suitable subset of SVAs so that an efficient polynomial modeling 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.
American Psychological Association (APA)
Gao, Xinyan& Zhou, Ning& Wu, Jinzhao& Li, Dakui. 2013. Wu’s Characteristic Set Method for SystemVerilog Assertions Verification. Journal of Applied Mathematics،Vol. 2013, no. 2013, pp.1-14.
https://search.emarefa.net/detail/BIM-494905
Modern Language Association (MLA)
Gao, Xinyan…[et al.]. Wu’s Characteristic Set Method for SystemVerilog Assertions Verification. Journal of Applied Mathematics No. 2013 (2013), pp.1-14.
https://search.emarefa.net/detail/BIM-494905
American Medical Association (AMA)
Gao, Xinyan& Zhou, Ning& Wu, Jinzhao& Li, Dakui. Wu’s Characteristic Set Method for SystemVerilog Assertions Verification. Journal of Applied Mathematics. 2013. Vol. 2013, no. 2013, pp.1-14.
https://search.emarefa.net/detail/BIM-494905
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-494905