Functional Verification of Programmable Embedded Architectures

DOI10.1007/B137514MaRDI QIDQ3377010zbMATH OpenOpenAlexFDO

Authors Prabhat K. Mishra, Nikil Dutt

Publication date 27 March 2006

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

zbMATH Keywords

Validation of programmable architectures

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical problems of computer architecture (68M07)

Recommendations

• System-level validation. High-level modeling and directed test generation techniques.
• Digital hardware/software-systems. Specification and verification.
• System-on-a-chip verification. Methodology and techniques
• Post-silicon and runtime verification for modern processors
• Scalable Techniques for Formal Verification

Cited in

(7)

• System-on-a-chip verification. Methodology and techniques
• System-level validation. High-level modeling and directed test generation techniques.
• Post-silicon and runtime verification for modern processors
• An architectural approach to the analysis, verification and validation of software intensive embedded systems
• Metamodeling-driven IP reuse for SoC integration and microprocessor design.
• Abstract Interpretation of the Physical Inputs of Embedded Programs
• Digital hardware/software-systems. Specification and verification.

Describes a project that uses

Uses Software

• ISDL

This page was built for publication: Functional Verification of Programmable Embedded Architectures

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