Loading...
conference paper
Integration of Correct-by-Construction BIP Models into the MetroII Design Space Exploration Flow
2012
2012 IEEE 30th International Conference On Computer Design (ICCD)
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.
Type
conference paper
Web of Science ID
WOS:000316948500082
Authors
Publication date
2012
Publisher
Published in
2012 IEEE 30th International Conference On Computer Design (ICCD)
ISBN of the book
978-1-4673-3052-7
Publisher place
New York
Total of pages
2
Series title/Series vol.
Proceedings IEEE International Conference on Computer Design
Start page
490
End page
491
Peer reviewed
REVIEWED
EPFL units
Event name | Event place | Event date |
Montreal, Quebec, Canada | September 30 - October 3, 2012 | |
Available on Infoscience
May 13, 2013
Use this identifier to reference this record