Verification requirements for SystemC/C++ designs

被引：0
|
作者：
Kalinic, Vlada [1 ]
机构：
[1] OneSpin Solutions, Germany
来源：
Electronics World | 2021年 / 127卷 / 2009期
关键词：
C++ (programming language) - Program debugging - Software design - Software testing;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Although SystemC/C++ coding styles have been used for many years, specific models have recently emerged to drive common design flows across engineering teams. These include abstract algorithmic design code as input for high-level synthesis (HLS) tools, virtual platform models for early software test, configurable intellectual property (IP) blocks, and many more.
引用
收藏
页码：24 / 26
相关论文
共 50 条
  • [41] Runtime Instrumentation of SystemC/TLM2 Interfaces for Fault Tolerance Requirements Verification in Software Cosimulation
    da Silva, Antonio
    Parra, Pablo
    Polo, Oscar R.
    Sanchez, Sebastian
    MODELLING AND SIMULATION IN ENGINEERING, 2014, 2014
  • [42] Datapath verification with SystemC reference model
    Lou, DJ
    Yuan, JK
    Li, DG
    Jacobs, C
    2005 6TH INTERNATIONAL CONFERENCE ON ASIC PROCEEDINGS, BOOKS 1 AND 2, 2005, : 906 - 909
  • [43] A framework for the functional verification of SystemC models
    Bruschi, F
    Ferrandi, F
    Sciuto, D
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2005, 33 (06) : 667 - 695
  • [44] Process Algebraic Verification of SystemC Codes
    Hojjat, H.
    Mousavi, M. R.
    Sirjani, M.
    2008 8TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2008, : 62 - +
  • [45] Design for verification of a PCI bus in SystemC
    Oumalou, K
    Habibi, A
    Tahar, S
    2004 INTERNATIONAL SYMPOSIUM ON SYSTEM-ON-CHIP, PROCEEDINGS, 2004, : 201 - 204
  • [46] Model-driven validation of SystemC designs
    Patel, Hiren D.
    Shukla, Sandeep K.
    2007 44TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2007, : 29 - +
  • [47] Formal Analysis of SystemC Designs in Process Algebra
    Hojjat, Hossein
    Mousavi, Mohammad Reza
    Sirjani, Marjan
    FUNDAMENTA INFORMATICAE, 2011, 107 (01) : 19 - 42
  • [48] Model-Driven Validation of SystemC Designs
    Patel, Hiren D.
    Shukla, Sandeep K.
    EURASIP JOURNAL ON EMBEDDED SYSTEMS, 2008, (01)
  • [49] An Effective Approach for Model Checking SystemC Designs
    Behjati, Razieh
    Sabouri, Hamideh
    Razavi, Niloofar
    Sirjani, Marjan
    2008 8TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2008, : 56 - 61
  • [50] Scalable Fault Localization for SystemC TLM Designs
    Le, Hoang M.
    Grosse, Daniel
    Drechsler, Rolf
    DESIGN, AUTOMATION & TEST IN EUROPE, 2013, : 35 - 38
12345