Race analysis for systemC using model checking

Race analysis for systemC using model checking

Diğer sürümleri göster (1)

SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems at different levels of abstraction. The SystemC standard permits simulators to implement a deterministic scheduling policy, which often hides concurrency-related design flaws. We present a...

Detaylı Bibliyografya
Asıl Yazarlar:	Blanc, N, Kroening, D
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	Association for Computing Machinery 2010

Benzer Materyaller

Race analysis for SystemC using model checking.
Yazar:: Blanc, N
Baskı/Yayın Bilgisi: (2008)

Scoot: A Tool for the Analysis of SystemC Models
Yazar:: Blanc, N, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Formal Verification of SystemC by Automatic Hardware/Software Partitioning
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Automatic Data Race Error Detection in SystemC Models
Yazar:: A. V. Zakharov, ve diğerleri
Baskı/Yayın Bilgisi: (2011-12-01)

Designing Electronic Systems Using SystemC and SystemC–AMS
Yazar:: V. A. Alekhin
Baskı/Yayın Bilgisi: (2020-08-01)

Analyzing SystemC Designs: SystemC Analysis Approaches for Varying Applications
Yazar:: Jannis Stoppe, ve diğerleri
Baskı/Yayın Bilgisi: (2015-05-01)

Modeling Algorithms in SystemC and ACL2
Yazar:: John W. O'Leary, ve diğerleri
Baskı/Yayın Bilgisi: (2014-06-01)

Automatic analysis of DMA races using model checking and k-induction
Yazar:: Donaldson, A, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Automatic analysis of DMA races using model checking and k-induction.
Yazar:: Donaldson, A, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Array Synthesis in SystemC Hardware Compilation
Yazar:: Ditmar, J, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Modeling and Implementation of a Power Estimation Methodology for SystemC
Yazar:: Matthias Kuehnle, ve diğerleri
Baskı/Yayın Bilgisi: (2012-01-01)

Toolset for SystemC code generation of heterogeneous platforms
Yazar:: Pavel Ivanov, ve diğerleri
Baskı/Yayın Bilgisi: (2013-04-01)

SystemC NoC simulation as the alternative to the HDL and high-level modeling
Yazar:: Aleksandr Romanov, ve diğerleri
Baskı/Yayın Bilgisi: (2016-04-01)

Formalizing and checking thread refinement for data-race-free execution models
Yazar:: Poetzl, D, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2016)

Strengthening Induction−Based Race Checking with Lightweight Static Analysis
Yazar:: Donaldson, A, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Open SystemC Simulator with Support for Power Gating Design
Yazar:: George Sobral Silveira, ve diğerleri
Baskı/Yayın Bilgisi: (2012-01-01)

Hardware modeling of GPU geometric pipeline rasterization based on UML and SystemC
Yazar:: Chen Jia, ve diğerleri
Baskı/Yayın Bilgisi: (2019-01-01)

SystemC kernel extensions for heterogeneous system modeling : a framework for Multi-MoC modeling & simulation /
Yazar:: 219028 Patel, Hiren D., ve diğerleri
Baskı/Yayın Bilgisi: (2004)

Neural network design with systemc /
Yazar:: Choo, Peng Wan, 1980-, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Top down design of UHF RFID tag based on SystemC
Yazar:: Qi Wanqing, ve diğerleri
Baskı/Yayın Bilgisi: (2021-05-01)

Cosimulation of Power and Temperature Models at the SystemC/TLM for a Soft-Core Processor
Yazar:: Zineb El Hariti, ve diğerleri
Baskı/Yayın Bilgisi: (2020-01-01)

Area optimisation for field-programmable gate arrays in SystemC hardware compilation
Yazar:: Ditmar, J, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Area Optimisation for Field−Programmable Gate Arrays in SystemC Hardware Compilation
Yazar:: Ditmar, J, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Area Optimisation for Field-Programmable Gate Arrays in SystemC Hardware Compilation
Yazar:: Johan Ditmar, ve diğerleri
Baskı/Yayın Bilgisi: (2008-01-01)

TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox
Yazar:: Helmstetter, Claude
Baskı/Yayın Bilgisi: (2014-04-01)

Model Checking Concurrent Linux Device Drivers
Yazar:: Witkowski, T, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Model checking concurrent linux device drivers
Yazar:: Witkowski, T, ve diğerleri
Baskı/Yayın Bilgisi: (2007)

SystemC Transaction-Level Modeling of an MPSoC Platform Based on an Open Source ISS by Using Interprocess Communication
Yazar:: Sami Boukhechem, ve diğerleri
Baskı/Yayın Bilgisi: (2008-01-01)

Automatic Generation of SystemC Models from Component−based Designs for Early Design Validation and Performance Analysis
Yazar:: Wang, Z, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

UML2SC: A tool for developing complex electronic systems using UML and SystemC
Yazar:: Blanca Alicia Correa, ve diğerleri
Baskı/Yayın Bilgisi: (2013-08-01)

通信系统中SystemC可重用验证平台的设计
Yazar:: 王琛, ve diğerleri
Baskı/Yayın Bilgisi: (2010-01-01)

A SystemC-AMS Framework for the Design and Simulation of Energy Management in Electric Vehicles
Yazar:: Yukai Chen, ve diğerleri
Baskı/Yayın Bilgisi: (2019-01-01)

A Service-Oriented Component-Based Framework for Dynamic Reconfiguration Modeling Targeting SystemC/TLM
Yazar:: Khaled Allem, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

Neural network design with systemc [electronic resource] /
Yazar:: Choo, Peng Wan, 1980-, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Systemc-based design framework for an embedded system implemented as system -on-chip /
Yazar:: Hau, Yuan Wen, 1980-, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Enhanced NIOS II instruction set simulator using systemc /
Yazar:: Azman Zulkefle, 1981-, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Active learning of abstract system models from traces using model checking
Yazar:: Yogananda Jeppu, N, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Checking consistency of C and Verilog using predicate abstraction and induction
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2004)