Assertion-Based Functional Consistency Checking between TLM and RTL Models

  title={Assertion-Based Functional Consistency Checking between TLM and RTL Models},
  author={Mingsong Chen and Prabhat Mishra},
  journal={2013 26th International Conference on VLSI Design and 2013 12th International Conference on Embedded Systems},
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… CONTINUE READING
9 Citations
18 References
Similar Papers


Publications citing this paper.
Showing 1-9 of 9 extracted citations


Publications referenced by this paper.
Showing 1-10 of 18 references

System-Level Validation: High- Level Modeling and Directed Test Generation

  • M. Chen, X. Qin, H. Koo, P. Mishra
  • 2012
1 Excerpt

Interactive Presentation: Implementation of A Transaction Level Assertion Framework in SystemC

  • W. Ecker, V. Esen, T. Teininger, M. Velten, M. Hull
  • In Proc. of DATE,
  • 2007
1 Excerpt

Similar Papers

Loading similar papers…