Constraint-Based Verification

DOI10.1007/0-387-30784-2MaRDI QIDQ5201279zbMATH OpenOpenAlexFDO

Authors Jun Yuan, Adnan Aziz, Carl P. Pixley

Publication date 13 April 2006

Full work available at URL https://doi.org/10.1007/0-387-30784-2

zbMATH Keywords

assertion based verificationverification flow

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Computer system organization (68M99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2005592
• Stimuli generation for functional hardware verification with constraint programming
• scientific article; zbMATH DE number 2113572
• scientific article; zbMATH DE number 1428926
• SAT-Based Scalable Formal Verification Solutions

Cited in

(8)

• Propagation based local search for bit-precise reasoning
• A verification-driven framework for iterative design of controllers
• Stimuli generation for functional hardware verification with constraint programming
• Transfer of model checking to industrial practice
• scientific article; zbMATH DE number 2005592 (Why is no real title available?)
• scientific article; zbMATH DE number 2204028 (Why is no real title available?)
• Correct Hardware Design and Verification Methods
• Formal Methods at the Crossroads. From Panacea to Foundational Support

This page was built for publication: Constraint-Based Verification

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