![](/img/cover-not-exists.png)
A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design
Sinha, Roopak, Girault, Alain, Goessler, Gregor, Roop, Partha S.Volume:
20
Language:
english
Journal:
ACM Transactions on Design Automation of Electronic Systems
DOI:
10.1145/2663344
Date:
November, 2014
File:
PDF, 5.33 MB
english, 2014