Design and verification of SystemC transaction-level models

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Volumn 14, Issue 1, 2006, Pages 57-68

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

^a IEEE   (Canada)

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

Author keywords

System level design; System level verification; SystemC; Transaction level modeling

Indexed keywords

SYSTEM-LEVEL DESIGN; SYSTEM-LEVEL VERIFICATION; SYSTEMC; TRANSACTION-LEVEL MODELING;

CIRCUIT THEORY; FINITE AUTOMATA; MATHEMATICAL MODELS; PRODUCT DESIGN;

SYSTEMS ANALYSIS;

EID: 33644988749     PISSN: 10638210     EISSN: None     Source Type: Journal    
DOI: 10.1109/TVLSI.2005.863187     Document Type: Article

References (32)

1. Accellera Property Specification Language Reference Manual (2004). [Online], Available: http://www.accellera.org
2. P. Cousot and R. Cousot, "Systematic design of program analysis frameworks," in Proc. Symp. Principles Programming Languages, San Antonio, TX, 1979, pp. 269-282.
3. _, "Abstract interpretation frameworks," J. Logic Computat., vol. 2, no. 4, pp. 511-547, Aug. 1992.
4. _, "Systematic design of program transformation frameworks by abstract interpretation," in Proc. Symp. Principles Progmmming Languages, Portland, OR, Jan. 2002, pp. 178-190.
5. R. Damasevicius and V. Stuikys, "Application of UML for hardware design based on design process model," in Proc. Asia South Pacific Design Automat. Conf., 2004, pp. 244-249.
6. P. Godefroid and S. Khurshid, "Exploring very large state spaces using genetic algorithms," in Proc. Tools Algorithms Construction Anal. Syst., 2002.
7. M. Gordon, "Validating the PSL/Sugar semantics using automated reasoning," in Proc. Formal Aspects Comput., 2003, pp. 306-421.
8. M. Gordon and T. Melham, Introduction to HOL: A Theorem Proving Environment for Higher-Order Logic. Cambridge, U.K.: Cambridge Univ. Press, 1993.
9. PCI Special Interest Group (2004). [Online]. Available: http://www.pcisig.com/
10. Y. Gurevich, "Evolving algebras 1993: Lipari guide," in Specification and Validation Methods. Oxford, U.K.: Oxford Univ. Press, 1995, pp. 9-36.
11. A. Habibi, A. I. Ahmed, O. A. Mohamed, and S. Tahar, "On the design and verification of the look-aside interface," in Proc. Design Automat. Test Europe, vol. 3, Munich, Germany, 2005, pp. 290-295.
12. A. Habibi, A. Gawanmeh, and S. Tahar, "Assertion based verification of PSL for SystemC designs," in Proc. IEEE Int. Symp. System-on-Chip, Tampere, Finland, Nov. 2004, pp. 177-180.
13. A. Habibi and S. Tahar, "Design for verification of SystemC transaction level models," in Proc. Design Automat. Test Europe, vol. 1, Munich, Germany, 2005, pp. 560-565.
14. _, "Toward an efficient assertion based verification of SystemC designs," in Proc. 9th Int. High Level Design Validation Test Workshop, Sonoma Valley, CA, Nov. 2004, pp. 19-22.
15. _, (2004, Dec.) SystemC Fixpoint Semantics. Dept. Elect. Comput. Eng., Concordia Univ.. [Online]. Available: www.ece.concordia.ca/~habibi/techrp/ TR0401/
16. _, (2004, Dec.) AsmL Fixpoint Semantics. Dept. Elect. Comput. Eng., Concordia Univ.. [Online]. Available: www.ece.concordia.ca/!habibi/techrp/ TR0402/
17. _, "Abstract Interpretation of SystemC Designs," Dept. Elect. Comput. Eng., Concordia Univ., www.ece.concordia.ca/~habibi/techrp/TR0404/, Tech. Rep., Jun. 2004.
18. _, "On the transformation of SystemC to AsmL using abstract interpretation," Electronic Notes Theoret. Computer Sci., vol. 131, pp. 39-49, May 2005.
19. A. Habibi, S. Tahar, and L. Halleb, "Formal verification of a bus structure modeled in SystemC," in Proc. 2nd Annu. IEEE Northeast Workshop Circuits Syst., Montreal, QC, Canada, Jun. 2004, pp. 61-64.
20. J. Holland, Adaptation in Natural and Artificial Systems. Ann Arbor, MI: Univ. Michigan Press, 1975.
21. RuleBase Formal Verification Tool (Version 1.5). User's Guide, May 2003. IBM Haifa Res. Labs..
22. F. Logozzo, "Anhalyze statique modulaire de langages a objets," Ph.D. dissertation, Math. Comput. Scie. Dept., Ecole Polytechnique, Paris, France, June 2004.
23. AsmL for Microsoft .NET Framework [Online]. Available: research.microsoft.com
24. W. Müller, J. Ruf, and W. Rosenstiel, Systeme Methodologies and Applications. Norwell, MA: Kluwer, 2003.
25. Denotational Semantics, Volume B of Handbook of Theoretical Computer Science, Elsevier Science B.V., 1990, pp. 575-631. P. D. Mosses.
26. Look-Aside (LA-1) Interface, Implementation Agreement, Revision 1.1, Apr. 2004. Network Processing Forum/Kluwer.
27. Open SystemC Initiative (2004). [Online]. Available: http://www.systemc. org
28. K. Oumalou, A. Habibi, and S. Tahar, "Design for verification of a PCI bus in SystemC," in Proc. Symp. System-on-Chip, Tampere, Finland, Nov. 2004, pp. 201-204.
29. H. Rudin, "Protocol development success stories: Part I," in Proc. 12th Int. Symp. Protocol Spec., Testing Verificat., vol. C-8, Jun. 1992, pp. 149-160.
30. A. Salem, "Formal semantics of synchronous SystemC," in Proc. Design, Automat. Test Europe Conf., Munich, Germany, Mar. 2003, pp. 376-381.
31. C. Schulz-Key, M. Winterholer, T. Schweizer, T. Kühn, and W. Rosenstiel, "Object-oriented modeling and synthesis of SystemC specifications," in Proc. Conf. Asia South Pacific Design Automation, 2004, pp. 238-243.
32. F. Vederine, "Analyzes totales de programmes par interpretation abstraite," Ph.D. dissertation, Math. Comput. Sci. Dept., Ecole Polytechnique, Paris, France, 2000.