Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions

DOI10.1109/TC.2010.187MaRDI QIDQ5280477zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

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

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)