Hardware/Software Co-Verification: Models and Methods

DOI10.1080/716067216MaRDI QIDQ4466897zbMATH OpenOpenAlexFDO

Authors Imid E. Bennour, Rached Tourki, Mohamed Amine Abid

Publication date 8 June 2004

Published in Systems Analysis Modelling Simulation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/716067216

zbMATH Keywords

emulationsimulationverification

Mathematics Subject Classification ID

Computer system organization (68M99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal Methods for Hardware Verification
• Compositional Reasoning for Hardware/Software Co-verification
• Performance estimation for an EDA tool-based HW/SW co-verification environment
• Combining software and hardware verification techniques
• Hardware/software co-design of complex embedded systems: An approach using efficient process models, multiple formalism specification and validation via Co-simulation

Cited in

(14)

• A methodology for hardware verification using compositional model checking
• A VHDL-based HW/SW cosimulation of communication systems
• Hardware/software co-design of complex embedded systems: An approach using efficient process models, multiple formalism specification and validation via Co-simulation
• Combining software and hardware verification techniques
• Dynamic and formal verification of embedded systems: A comparative survey
• A coverification framework
• System-on-a-chip verification. Methodology and techniques
• HW/SW components for real-time system Co-design
• Compositional Reasoning for Hardware/Software Co-verification
• Performance estimation for an EDA tool-based HW/SW co-verification environment
• scientific article; zbMATH DE number 1941153 (Why is no real title available?)
• scientific article; zbMATH DE number 2060812 (Why is no real title available?)
• Hardware and Software, Verification and Testing
• Formal Methods for Hardware Verification

This page was built for publication: Hardware/Software Co-Verification: Models and Methods

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