Automated Synthesis of Protocol Converters with BALM-II
Book chapter (January 2015)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design
Article in ACM Transactions on Design Automation of Electronic Systems (November 2014)
Correct-by-Construction Approaches for SoC Design
Monograph (January 2014)