System-level validation. High-level modeling and directed test generation techniques.

DOI10.1007/978-1-4614-1359-2MaRDI QIDQ2910413zbMATH OpenOpenAlexFDO

Authors Mingsong Chen, Xiao-Ke Qin, Heon-Mo Koo, Prabhat K. Mishra

Publication date 11 September 2012

Full work available at URL https://doi.org/10.1007/978-1-4614-1359-2

Mathematics Subject Classification ID

General theory of mathematical modeling (00A71) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Computer system organization (68M99) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Functional Verification of Programmable Embedded Architectures
• Digital hardware/software-systems. Specification and verification.
• Post-silicon and runtime verification for modern processors
• Formal system verification. State-of the-art and future trends
• Scalable Techniques for Formal Verification

Cited in

(5)

• Minimizing binary decision diagrams for systems of incompletely defined Boolean functions using algebraic cofactor expansions
• Functional Verification of Programmable Embedded Architectures
• Accelerating test, validation and debug of high speed serial interfaces
• High-level test synthesis: a survey
• Metamodeling-driven IP reuse for SoC integration and microprocessor design.

This page was built for publication: System-level validation. High-level modeling and directed test generation techniques.

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