Wu's characteristic set method for SystemVerilog assertions verification

DOI10.1155/2013/740194zbMath1271.94040OpenAlexW1986531521WikidataQ59004188 ScholiaQ59004188MaRDI QIDQ364509

Xinyan Gao, Jinzhao Wu, Dakui Li, Ning Zhou

Publication date: 9 September 2013

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

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

Mathematics Subject Classification ID

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

Related Items (1)

Groebner bases based verification solution for SystemVerilog concurrent assertions

Uses Software

• MMP/Geometer
• SMV
• HOL
• Chaff

Cites Work

• Unnamed Item
• Unnamed Item
• Basic principles of mechanical theorem proving in elementary geometries
• Elimination methods
• Interpolants and Symbolic Model Checking
• Automated Deduction in Geometry

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