The integration of SystemC and hardware-assisted verification

DOI10.1007/3-540-46117-5_103MaRDI QIDQ4408245zbMATH OpenFDO

Authors Ramaswamy Ramaswamy, Russell Tessier

Publication date 29 June 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2438/24381007.htm

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

Recommendations

• Hardware/Software Co-Verification: Models and Methods
• Correct Hardware Design and Verification Methods
• Formally analyzed dynamic synthesis of hardware
• Verification of SpecC using predicate abstraction
• A methodology to take credit for high-level verification during RTL verification

Cited in

(8)

• A methodology to take credit for high-level verification during RTL verification
• Combining software and hardware verification techniques
• Performance estimation for an EDA tool-based HW/SW co-verification environment
• Integration of reconfigurable hardware into system level design
• scientific article; zbMATH DE number 2087637 (Why is no real title available?)
• Computer Aided Verification
• Correct Hardware Design and Verification Methods
• Compilation for adaptive computing systems using complex parameterized hardware objects

Describes a project that uses

Uses Software

• SystemC

This page was built for publication: The integration of SystemC and hardware-assisted verification

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