Efficient assertion based verification using TLM

Authors:
Ali Habibi;Sofiène Tahar;Amer Samarah;Donglin Li;O. Ait Mohamed
Affiliations:
Concordia University, de Maisonneuve West, Montreal, Quebec, Canada;Concordia University, de Maisonneuve West, Montreal, Quebec, Canada;Concordia University, de Maisonneuve West, Montreal, Quebec, Canada;Concordia University, de Maisonneuve West, Montreal, Quebec, Canada;Concordia University, de Maisonneuve West, Montreal, Quebec, Canada
Venue:
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Year:
2006

Citing 6
Cited 2

Adaptation in natural and artificial systems

Adaptation in natural and artificial systems
The State-Based Testing of Object-Oriented Programs

ICSM '93 Proceedings of the Conference on Software Maintenance
Exploring Very Large State Spaces Using Genetic Algorithms

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Protocol Development Success Stories: Part 1

Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification XII
Design for Verification of SystemC Transaction Level Models

Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Towards an efficient assertion based verification of SystemC designs

HLDVT '04 Proceedings of the High-Level Design Validation and Test Workshop, 2004. Ninth IEEE International

Graph based test case generation for TLM functional verification

Microprocessors & Microsystems
Coverage-Directed Test Generation Automated by Machine Learning -- A Review

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Recent advancement in hardware design urged using a transaction based model as a new intermediate design level. Supporters for the Transaction Level Modeling (TLM) trend claim its efficiency in terms of rapid prototyping and fast simulation in comparison to the classical RTL-based approach. Intuitively, from a verification point of view, faster simulation induces better coverage results. This is driven by two factors: coverage measurement and simulation guidance. In this paper, we propose to use an abstract model of the design, written in the Abstract State Machines Language (AsmL), in order to provide an adequate way for measuring the functional coverage. Then, we use this metric in defining the fitness function of a genetic algorithm proposed to improve the simulation efficiency. Finally, we compare our coverage and simulation results to: (1) random simulation at TLM; and (2) the Specman tool of Verisity at RTL.