Stimuli generation for functional hardware verification with constraint programming

DOI10.1007/978-1-4419-1644-0_16MaRDI QIDQ3064570zbMATH OpenOpenAlexFDO

Authors Allon Adir, Yehuda Naveh

Publication date 22 December 2010

Published in Hybrid Optimization (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-1-4419-1644-0_16

zbMATH Keywords

constraint programminghardware verification

Mathematics Subject Classification ID

Computer system organization (68M99) Integer programming (90C10)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Constraint-Based Verification
• Towards a framework for constraint-based test case generation
• Hardware and Software, Verification and Testing
• Constraint satisfaction using constraint logic programming

Cited in

(3)

• Constraint programming with arbitrarily large integer variables
• Constraint-Based Verification
• Hardware and Software, Verification and Testing

Describes a project that uses

Uses Software

• DART

This page was built for publication: Stimuli generation for functional hardware verification with constraint programming

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