Integration of Correct-by-Construction BIP Models into the MetroII Design Space Exploration Flow

Design correctness and performance are major issues which are usually considered separately, and with different emphasis, by traditional system design flows. In this paper we show that one can meaningfully connect and benefit from the advantages of two design frameworks, with different design goals. We consider BIP for high-level rigorous design and correct-by-construction implementation, and METROII, for low-level platform-based design and performance evaluation.


Published in:
2012 IEEE 30th International Conference On Computer Design (ICCD), 490-491
Presented at:
30th IEEE International Conference on Computer Design (ICCD), Montreal, Quebec, Canada, September 30 - October 3, 2012
Year:
2012
Publisher:
New York, IEEE
ISBN:
978-1-4673-3052-7
Laboratories:




 Record created 2013-05-13, last modified 2018-03-17


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)