Hardware and Software, Verification and Testing

DOI10.1007/11678779MaRDI QIDQ5898455zbMATH OpenOpenAlexFDO

Authors Shady Copty, Itai Jaeger, Yoav Katz

Publication date 12 February 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11678779

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• System-on-a-chip verification. Methodology and techniques
• Optimizing system-on-chip verifications with multi-objective genetic evolutionary algorithms
• Hardware/Software Co-Verification: Models and Methods
• Analog/mixed-signal circuit verification using models generated from simulation traces
• Stimuli generation for functional hardware verification with constraint programming

Cited in

(3)

• Stimuli generation for functional hardware verification with constraint programming
• Optimizing system-on-chip verifications with multi-objective genetic evolutionary algorithms
• scientific article; zbMATH DE number 238108 (Why is no real title available?)

This page was built for publication: Hardware and Software, Verification and Testing

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