Formal Verification of SystemC by Automatic Hardware/Software Partitioning

Formal Verification of SystemC by Automatic Hardware/Software Partitioning

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Kroening, D, Sharygina, N
Formáid:	Conference item
Foilsithe / Cruthaithe:	IEEE 2005

Míreanna comhchosúla

Scoot: A Tool for the Analysis of SystemC Models
de réir: Blanc, N, et al.
Foilsithe / Cruthaithe: (2008)

Array Synthesis in SystemC Hardware Compilation
de réir: Ditmar, J, et al.
Foilsithe / Cruthaithe: (2007)

Race analysis for systemC using model checking
de réir: Blanc, N, et al.
Foilsithe / Cruthaithe: (2010)

Formal techniques for effective co-verification of hardware/software co-designs
de réir: Mukherjee, R, et al.
Foilsithe / Cruthaithe: (2017)

Area optimisation for field-programmable gate arrays in SystemC hardware compilation
de réir: Ditmar, J, et al.
Foilsithe / Cruthaithe: (2008)

Area Optimisation for Field−Programmable Gate Arrays in SystemC Hardware Compilation
de réir: Ditmar, J, et al.
Foilsithe / Cruthaithe: (2008)

Hardware verification using software analyzers
de réir: Mukherjee, R, et al.
Foilsithe / Cruthaithe: (2015)

Formal Verification of Hardware Synthesis
de réir: Braibant, Thomas, et al.
Foilsithe / Cruthaithe: (2014)

Hardware Verification by Formal Proof
de réir: Birtwistle, G, et al.
Foilsithe / Cruthaithe: (1988)

Hardware Verification by Formal Proof
de réir: Birtwistle, G, et al.
Foilsithe / Cruthaithe: (1988)

Race analysis for SystemC using model checking.
de réir: Blanc, N
Foilsithe / Cruthaithe: (2008)

Unbounded Safety Verification for Hardware Using Software Analyzers
de réir: Mukherjee, R, et al.
Foilsithe / Cruthaithe: (2015)

A survey of automated techniques for formal software verification
de réir: D'Silva, V, et al.
Foilsithe / Cruthaithe: (2008)

A Survey of Automated Techniques for Formal Software Verification.
de réir: D'Silva, V, et al.
Foilsithe / Cruthaithe: (2008)

A Survey of Automated Techniques for Formal Software Verification
de réir: D'Silva, V, et al.
Foilsithe / Cruthaithe: (2008)

An Industrially Effective Environment for Formal Hardware Verification
de réir: Seger, C, et al.
Foilsithe / Cruthaithe: (2005)

Implementation Of Hardware Software Partitioning In Embedded System
de réir: Mohd Nor, Masyirah
Foilsithe / Cruthaithe: (2018)

Hardware Verification using ANSI−C Programs as a Reference
de réir: Clarke, E, et al.
Foilsithe / Cruthaithe: (2003)

Hardware verification using ANSI-C programs as a reference
de réir: Clarke, E, et al.
Foilsithe / Cruthaithe: (2003)

Formal co−validation of low−level hardware/software interfaces
de réir: Horn, A, et al.
Foilsithe / Cruthaithe: (2013)

Automatic Generation of SystemC Models from Component−based Designs for Early Design Validation and Performance Analysis
de réir: Wang, Z, et al.
Foilsithe / Cruthaithe: (2008)

Formal Co-Validation of Low-Level Hardware/Software Interfaces
de réir: Horn, A, et al.
Foilsithe / Cruthaithe: (2013)

A Strategy for Automatic Quality Signing and Verification Processes for Hardware and Software Testing
de réir: Younis, Mohammed I., et al.
Foilsithe / Cruthaithe: (2010)

Formal Verification at Higher Levels of Abstraction
de réir: Kroening, D, et al.
Foilsithe / Cruthaithe: (2007)

Scheduling for hardware/software partitioning in embedded system design
de réir: Engels, Daniel Wayne, 1970-
Foilsithe / Cruthaithe: (2014)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
de réir: Melham, T
Foilsithe / Cruthaithe: (1989)

Accurate Theorem Proving for Program Verification
de réir: Cook, B, et al.
Foilsithe / Cruthaithe: (2006)

Multiple-choice hardware/software partitioning for tree task-graph on MPSoC
de réir: Shi, Wenjun, et al.
Foilsithe / Cruthaithe: (2021)

Cogent: Accurate theorem proving for program verification
de réir: Cook, B, et al.
Foilsithe / Cruthaithe: (2005)

Verification of Boolean Programs with Unbounded Thread Creation
de réir: Cook, B, et al.
Foilsithe / Cruthaithe: (2007)

Verification of Boolean programs with unbounded thread creation.
de réir: Cook, B, et al.
Foilsithe / Cruthaithe: (2007)

Automatic generation of hardware/software interfaces
de réir: King, Myron Decker, et al.
Foilsithe / Cruthaithe: (2012)

Automatic generation of hardware/software interfaces
de réir: King, Myron, et al.
Foilsithe / Cruthaithe: (2019)

Algorithmic aspects for multiple-choice hardware/software partitioning
de réir: Wu, Jigang, et al.
Foilsithe / Cruthaithe: (2013)

Putting it all together − Formal Verification of the VAMP
de réir: Beyer, S, et al.
Foilsithe / Cruthaithe: (2006)

Foundational Integration Verification of Diverse Software and Hardware Components
de réir: Erbsen, Andres
Foilsithe / Cruthaithe: (2023)

Integration verification across software and hardware for a simple embedded system
de réir: Erbsen, Andres, et al.
Foilsithe / Cruthaithe: (2022)

Modular verification of hardware systems
de réir: Vijayaraghavan, Muralidaran
Foilsithe / Cruthaithe: (2016)

Automatic test equipment : hardware, software, and management /
Foilsithe / Cruthaithe: (1974)

Hardware verification with C++ : a practitoner's handbook /
de réir: 272566 Mintz, Mike, et al.
Foilsithe / Cruthaithe: (2006)