QuteRTL: Towards an open source framework for RTL design synthesis and verification
Journal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal Volume
7214 LNCS
Pages
377-391
Date Issued
2012
Author(s)
Type
conference paper