Automatic Generation of SystemC Models from Component−based Designs for Early Design Validation and Performance Analysis

Samankaltaisia teoksia

• Optimizing Automatic Deployment Using Non−Functional Requirement Annotations
  Tekijä: Kugele, S, et al.
  Julkaistu: (2008)
• Formal Verification of SystemC by Automatic Hardware/Software Partitioning
  Tekijä: Kroening, D, et al.
  Julkaistu: (2005)
• Array Synthesis in SystemC Hardware Compilation
  Tekijä: Ditmar, J, et al.
  Julkaistu: (2007)
• Race analysis for SystemC using model checking.
  Tekijä: Blanc, N
  Julkaistu: (2008)
• Race analysis for systemC using model checking
  Tekijä: Blanc, N, et al.
  Julkaistu: (2010)