Scoot: A Tool for the Analysis of SystemC Models

類似資料

• Formal Verification of SystemC by Automatic Hardware/Software Partitioning
  著者:: Kroening, D, 等
  出版事項: (2005)
• Race analysis for systemC using model checking
  著者:: Blanc, N, 等
  出版事項: (2010)
• Race analysis for SystemC using model checking.
  著者:: Blanc, N
  出版事項: (2008)
• Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications
  著者:: Jannis Stoppe, 等
  出版事項: (2015-05-01)
• Designing Electronic Systems Using SystemC and SystemC–AMS
  著者:: V. A. Alekhin
  出版事項: (2020-08-01)