IEEE - Institute of Electrical and Electronics Engineers, Inc. - Execution semantics and formalisms for multi-abstraction TLM assertions

Proceedings. Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06)

Author(s): W. Ecker ; V. Esen ; M. Hull
Sponsor(s): ACM SIGon Design Auto.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Napa, CA, USA
Conference Date: 27 July 2006
Page Count: 10
Page(s): 93 - 102
ISBN (Paper): 1-4244-0421-5
DOI: 10.1109/MEMCOD.2006.1695910
Regular:

Electronic system level (ESL) reflects the current trend in hardware design and verification towards abstraction levels higher than RTL referred to as transaction level (TL). Raising the... View More

Advertisement