Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions
Joint Authors
Zhou, Ning
Li, Dakui
Gao, Xinyan
Wei, Jianchao
Wu, Jinzhao
Source
Journal of Applied Mathematics
Issue
Vol. 2014, Issue 2014 (31 Dec. 2014), pp.1-15, 15 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2014-06-11
Country of Publication
Egypt
No. of Pages
15
Main Subjects
Abstract EN
We introduce an approach exploiting the power of polynomial ring algebra to perform SystemVerilog assertion verification over digital circuit systems.
This method is based on Groebner bases theory and sequential properties checking.
We define a constrained 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 Groebner bases for concurrent SVAs checking.
Case studies show that computer algebra can provide canonical symbolic representations for both assertions and circuit designs and can act as a novel solver engine from the viewpoint of symbolic computation.
American Psychological Association (APA)
Zhou, Ning& Gao, Xinyan& Wu, Jinzhao& Wei, Jianchao& Li, Dakui. 2014. Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-15.
https://search.emarefa.net/detail/BIM-453522
Modern Language Association (MLA)
Zhou, Ning…[et al.]. Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions. Journal of Applied Mathematics No. 2014 (2014), pp.1-15.
https://search.emarefa.net/detail/BIM-453522
American Medical Association (AMA)
Zhou, Ning& Gao, Xinyan& Wu, Jinzhao& Wei, Jianchao& Li, Dakui. Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-15.
https://search.emarefa.net/detail/BIM-453522
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-453522