Wu's characteristic set method for SystemVerilog assertions verification

DOI10.1155/2013/740194MaRDI QIDQ364509zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Xinyan Gao, Ning Zhou, Jinzhao Wu, Dakui Li

Publication date 9 September 2013

Published in Journal of Applied Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1155/2013/740194

Mathematics Subject Classification ID

Fault detection; testing in circuits and networks (94C12)

Recommendations

• Groebner bases based verification solution for SystemVerilog concurrent assertions
• Some Complexity Results for SystemVerilog Assertions
• Algebraic verification method for SEREs properties via Groebner bases approaches
• Application of Wu's method to symbolic model checking
• scientific article; zbMATH DE number 2113572

Cites work

• scientific article; zbMATH DE number 3586510 (Why is no real title available?)
• scientific article; zbMATH DE number 910719 (Why is no real title available?)
• Automated Deduction in Geometry
• Basic principles of mechanical theorem proving in elementary geometries
• Elimination methods
• Interpolants and Symbolic Model Checking

Cited in

(2)

• Some Complexity Results for SystemVerilog Assertions
• Groebner bases based verification solution for SystemVerilog concurrent assertions

Describes a project that uses

Uses Software

• Chaff
• HOL
• SMV
• MMP/Geometer

This page was built for publication: Wu's characteristic set method for SystemVerilog assertions verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q364509)