@inproceedings{549f00a1148e441ca6698cbe4b247573,
title = "Assertion-based functional consistency checking between TLM and RTL models",
abstract = "Transaction Level Modeling (TLM) is promising for functional validation at an early stage of System-on-Chip (SoC) design. However, raising the abstraction level brings a major challenge - how to guarantee the functional consistency between TLM specifications and Register Transfer Level (RTL) implementations? This paper proposes an efficient mechanism for functional consistency checking using assertion observability. The experimental results using several industrial designs demonstrate that our method can automatically check the functional consistency between different abstraction levels.",
keywords = "Assertion, Functional consistency, RTL, TLM",
author = "Mingsong Chen and Prabhat Mishra",
year = "2013",
doi = "10.1109/VLSID.2013.208",
language = "英语",
isbn = "9780769548890",
series = "Proceedings of the IEEE International Conference on VLSI Design",
pages = "320--325",
booktitle = "Proceedings - 26th International Conference on VLSI Design, VLSID 2013 - Concurrently with 12th International Conference on Embedded Systems Design, ES 2013",
note = "2013 26th International Conference on VLSI Design, VLSID 2013 and 12th International Conference on Embedded Systems, ES 2013 ; Conference date: 05-01-2013 Through 10-01-2013",
}