IEEE - Institute of Electrical and Electronics Engineers, Inc. - Proving transaction and system-level properties of untimed SystemC TLM designs

2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)

Author(s): Grosse, D. ; Le, H.M. ; Drechsler, R.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2010
Conference Location: Grenoble, France, France
Conference Date: 26 July 2010
Page(s): 113 - 122
ISBN (Electronic): 978-1-4244-7886-6
ISBN (Paper): 978-1-4244-7885-9
DOI: 10.1109/MEMCOD.2010.5558643
Regular:

Electronic System Level (ESL) design manages the enormous complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-the-art for describing... View More

Advertisement