Scoot: A Tool for the Analysis of SystemC Models

Benzer Materyaller

• Formal Verification of SystemC by Automatic Hardware/Software Partitioning
  Yazar:: Kroening, D, ve diğerleri
  Baskı/Yayın Bilgisi: (2005)
• Race analysis for systemC using model checking
  Yazar:: Blanc, N, ve diğerleri
  Baskı/Yayın Bilgisi: (2010)
• Race analysis for SystemC using model checking.
  Yazar:: Blanc, N
  Baskı/Yayın Bilgisi: (2008)
• Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications
  Yazar:: Jannis Stoppe, ve diğerleri
  Baskı/Yayın Bilgisi: (2015-05-01)
• Designing Electronic Systems Using SystemC and SystemC–AMS
  Yazar:: V. A. Alekhin
  Baskı/Yayın Bilgisi: (2020-08-01)