Scoot: A tool for the analysis of SystemC models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4963 LNCS, Issue , 2008, Pages 467-470

  Blanc, Nicolas ^a   Kroening, Daniel ^b   Sharygina, Natasha ^c  

^a ETH ZURICH   (Switzerland)

^b UNIVERSITY OF OXFORD   (United Kingdom)

^c UNIVERSITY OF LUGANO   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC EXECUTION; EUROPEAN; FRONT END; HEIDELBERG (CO); INTERNATIONAL CONFERENCES; STATIC ANALYZERS; SYSTEM-LEVEL MODELING; SYSTEMC;

LINGUISTICS;

EID: 47249137015     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78800-3_36     Document Type: Conference Paper

References (8)

1. Castillo, J., Huerta, P., Martinez, J.I.: An open-source tool for SystemC to Verilog automatic translation. In: SPL, vol. 37, pp. 53-58 (2007)
2. Clarke, E., Kroening, D., Sharygina, N., Yorav, K.: SATABS: SAT-based predicate abstraction for ANSI-C. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 570-574. Springer, Heidelberg (2005)
3. Kostaras, N., Vergos, H.T.: SyCE: An integrated environment for system design in SystemC. In: RSP, pp. 258-260. IEEE, Los Alamitos (2005)
4. Kroening, D., Clarke, E., Yorav, K.: Behavioral consistency of C and Verilog programs using bounded model checking. In: DAC, pp. 368-371. ACM, New York (2003)
5. Kroening, D., Sharygina, N.: Formal verification of SystemC by automatic hardware/software partitioning. In: MEMOCODE, pp. 101-110 (2005)
6. Pérez, D.G., Mouchard, G., Temam, O.: A new optimized implemention of the SystemC engine using acyclic scheduling. In: DATE, pp. 552-557. IEEE, Los Alamitos (2004)
7. Qadeer, S., Wu, D.: KISS: keep it simple and sequential. In: PLDI, pp. 14-24. ACM, New York (2004)
8. Savoiu, N., Sandeep, S., Rajesh, G.: Improving SystemC simulation through Petri net reductions. In: MEMOCODE, pp. 131-140 (2005)