Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions

DOI10.1109/TC.2010.187zbMath1368.68331MaRDI QIDQ5280477

Nicola Bombieri, Franco Fummi, Graziano Pravadelli

Publication date: 27 July 2017

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

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation