Boosting interpolation with dynamic localized abstraction and redundancy removal
Cabodi, Gianpiero, Murciano, Marco, Nocco, Sergio, Quer, StefanoVolume:
13
Language:
english
Journal:
ACM Transactions on Design Automation of Electronic Systems
DOI:
10.1145/1297666.1297669
Date:
January, 2008
File:
PDF, 332 KB
english, 2008