Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions

DOI10.1109/TC.2010.187zbMATH Open1368.68331OpenAlexW2123610036MaRDI QIDQ5280477FDOQ5280477

Authors: Nicola Bombieri, Franco Fummi, Graziano Pravadelli 

Publication date: 27 July 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.2010.187

Recommendations

• scientific article; zbMATH DE number 177508
• Automated Technology for Verification and Analysis
• Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions
• Translation of specification units between IP and ATM quality of service declarations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

This page was built for publication: Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions

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