SDL versus C equivalence checking

Lecture Notes in Computer Science

Volumn 3530, Issue , 2005, Pages 323-338

  Haroud, Malek ^a   Biere, Armin ^b  

^a STMICROELECTRONICS   (Italy)

^b JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (STANDARDS); COMPUTER SIMULATION; TELECOMMUNICATION SYSTEMS;

BISIMULATION; WIFI MEDIUM ACCESS CONTROLLER;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 26444587192     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11506843_23     Document Type: Conference Paper

References (20)

1. Olsen and Pedersen and Reed and smith: Systems Engineering Using SDL-92. Elsevier Science 1994.
2. Juha Sipilä and Vesa Luukkala: An SDL Implementation Framework for Third Generation Mobile Communications System. Nokia Research Center, Mobile Networks Laboratory 2001.
3. Hannikainen and Takko and Knuutila and Hamalainen and Sarrinene: SDL-to-C Conversion for implementing Embedded Wireless LAN Protocols. IEEE Journal 2000.
4. N.Sidorova and M.Steffen: Verifying Large SDL Specifications Using Model Checking. 10th International SDL-Forum 2001.
5. Haroud and Blažević and Biere: HW accelerated Ultra Wide Band MAC protocol using SDL and SystemC. Radio And Wireless Conference 2004.
6. James A.Whittaker: What Is Software Testing? And Why Is It so Hard? IEEE Software 2000.
7. A. Pnueli and M. Siegel and E. Singerman: Translation Validation TACAS 1998
8. A. Pnueli and M. Siegel and and O. Strichman: Translation validation: From SIGNAL to C. Correct System Design 1999.
9. George C. Necula: Translation validation for an optimizing compiler. ACM sigplan notices 2000.
10. Kroening Daniel and Clarke Edmund and Yorav Karen: Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking D AC 2003.
11. Biere and Cimatti and Clarke and Strichman and Zhu: Bounded Model Checking Advances in Computers Academic press 2003.
12. Clarke and Biere and Raimi, and Zhu: Bounded Model Checking Using Satisfiability Solving. Formal Methods in System Design Kluwer Academic Publishers 2001.
13. Marsha Chechik Hai: Bisimulation Analysis of SDL-Expressed Protocols: A Case Study. CASCON Conference 2000.
14. Robin Milner: A Calculus of Communicating Systems. Springer-Verlag New York, Inc., Secaucus 1982
15. Susan Horwitz and Jan Prins and Thomas Reps: On the Adequacy of Program Dependence Graphs for Representing Programs Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages 1988.
16. Ravi Namballa and N. Ranganathan: Control and Data Flow Graph Extraction for High-Level Synthesis Symposium on VLSI Emerging Trends in VLSI Systems Design ISVLSI 2004.
17. L. de Alfaro and T. Henzinger. Interface theories for component-based design. In EMSOFT 01: Embedded Software, Lecture Notes in Computer Science 2211. Springer, 2001.
18. Peeter Ellervee et al.: IRSYD: An internal representation for heterogeneous embedded systems. In Proceedings of the 16th NORCHIP Conference, 1998.
19. Jean-Christophe Filliâtre and Sam Owre and Harald Rueß and N. Shankar: ICS: Integrated Canonizer and Solver. Computer Aided Verification 2001.
20. Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) specifications High-speed Physical Layer in the 5 GHz band grouper.ieee.org