Towards an efficient assertion based verification of systemc designs

Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT

Volumn , Issue , 2004, Pages 19-22

  Habibi, Ali ^a   Tahar, Sofiène ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

PROPERTY SPECIFICATION LANGUAGE (PSL); SILICON-ON-CHIP (SOC) DESIGN; STATIC CODE ANALYSIS; SYSTEMC LIBRARY;

BOOLEAN FUNCTIONS; C (PROGRAMMING LANGUAGE); COMPUTER ARCHITECTURE; COMPUTER SIMULATION; GENETIC ALGORITHMS; OBJECT ORIENTED PROGRAMMING; SYNCHRONIZATION;

SEMANTICS;

EID: 19944364538     PISSN: 15526674     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HLDVT.2004.1431224     Document Type: Conference Paper

References (11)

1. Accellera Organization. Property Specification Language Reference Manual. 2003.
2. Cadence Design Systems. Cadence Verification Extensions, V. 5.0. 2003.
3. P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511-547, August 1992.
4. P. Godefroid and S. Khurshid. Exploring very large state spaces using genetic algorithms. In Tools and Algorithms for Construction and Analysis of Systems, 2002.
5. A. Habibi and S. Tahar. Abstract interpretation of systemc designs. Technical report, Department of Electrical and Computer Engineering, Concordia University, June 2004.
6. J. Holland. Adaptation in Natural and Artificial Systems. The University of Michigan Press, 1975.
7. Open SystemC Initiative. Website: http://www.systemc.org, 2004.
8. H. Rudin. Protocol development success stories: Part i. In 12th IFIP WG 6.1 International Symposium on Protocol Specification. Testing, and Verification, Florida, USA, June 1992.
9. SynaptiCAD Inc. Website: http://www.syncad.com/, 2004.
10. F. Vederine. Analyses totales de programmes par interpretation abstraite. PhD thesis, Ecole Polytechnique, Paris, France, 2000.
11. Verisity Ltd. Website: http://www.verisity.com/, 2004.