scientific article; zbMATH DE number 1941153

MaRDI QIDQ4408245zbMATH OpenFDO

Authors Ramaswamy Ramaswamy, Russell Tessier

Publication date 29 June 2003

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
• scientific article; zbMATH DE number 1941151 (Why is no real title available?)
• 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:

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