Efficient assertion based verification using TLM

Proceedings -Design, Automation and Test in Europe, DATE

Volumn 1, Issue , 2006, Pages

  Habibi, Ali ^a   Tahar, Sofiène ^a   Samarah, Amer ^a   Li, Donglin ^a   Ait Mohamed, O ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER SIMULATION; GENETIC ALGORITHMS; MATHEMATICAL MODELS; RANDOM PROCESSES; SYSTEMS ANALYSIS;

FITNESS FUNCTION; FUNCTIONAL COVERAGE; TRANSACTION LEVEL MODELING (TLM)];

COMPUTER HARDWARE;

EID: 34047112391     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/date.2006.244005     Document Type: Conference Paper

References (11)

1. P. Godefroid and S. Khurshid. Exploring Very Large State Spaces using Genetic Algorithms. In Joost-Pieter Katoen and Perdita Stevens, editors, TACAS, volume 2280 of Lecture Notes in Computer Science, pages 266-280. Springer, 2002.
2. Y. Gurevich, B. Rossman, and W. Schulte. Semantic Essence of AsmL. Technical report, Microsoft Research Tech. Report MSR-TR-2004-27, March 2004.
3. A. Habibi and S. Tahar. Towards an efficient assertion based verification of SystemC designs. In Proc. High Level Design Validation and Test Workshop, pages 19-22, Sonoma Valley, CA, USA, November 2004.
4. A. Habibi and S. Tahar. Design for verification of SystemC transaction level models. In Proc. Design Automation and Test in Europe, pages 560-565, Munich, Germany, March 2005.
5. J. Holland. Adaptation in Natural and Artificial Systems. The University of Michigan Press, 1975.
6. J. Y. Jou and C. N. Liu. Coverage analysis techniques for hdl design validation. In Proc. Asia Pacific CHip Design Languages, pages 48-55, Fukuoka, Japan, October 1999.
7. Microsoft Corp. AsmL for Microsoft .NET Framework, research.microsoft. com, 2005.
8. Network Processing Forum. Look-Aside (LA-1) Interface, Implementation Agreement, Revision 1.1. Kluwer Academic Publishers, 2004.
9. Open SystemC Initiative, www.systemc.org, 2005. [10] H. Rudin. Protocol development success stories: Part i. In Proc. International Symposium on Protocol Specification, Testing, and Verification, pages 149-160, Lake Buena Vista, Florida, USA, June 1992.
10. C. D. Turner and D. J. Robson. The state-based testing of object-oriented programs. In Proc. Conference on Software Maintenance, pages 302-310, Montréal, Québec, Canada, September 1993.
11. Verisity Ltd. Website: http://www.verisity.com/, 2005.