Abstraction Mechanisms for Hardware Verification

Abstraction Mechanisms for Hardware Verification

Show other versions (2)

Bibliographic Details
Main Author:	Melham, T
Other Authors:	Birtwistle, G
Format:	Book
Published:	1988

Similar Items

Abstraction Mechanisms for Hardware Verification
by: Melham, T
Published: (1990)

Abstraction Mechanisms for Hardware Verification
by: Melham, T
Published: (1987)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
by: Melham, T
Published: (1989)

Higher Order Logic and Hardware Verification
by: Melham, T
Published: (1993)

Hardware Verification by Formal Proof
by: Birtwistle, G, et al.
Published: (1988)

Hardware Verification by Formal Proof
by: Birtwistle, G, et al.
Published: (1988)

Hardware verification using software analyzers
by: Mukherjee, R, et al.
Published: (2015)

Hardware Verification using Higher−Order Logic
by: Camilleri, A, et al.
Published: (1987)

Hardware Verification using Higher−Order Logic
by: Camilleri, A, et al.
Published: (1986)

Abstract: Experience with Practical Formal Verification at an Industrial Scale
by: Melham, T
Published: (2003)

Unbounded Safety Verification for Hardware Using Software Analyzers
by: Mukherjee, R, et al.
Published: (2015)

A Methodology for Large−Scale Hardware Verification
by: Aagaard, M, et al.
Published: (2000)

An Industrially Effective Environment for Formal Hardware Verification
by: Seger, C, et al.
Published: (2005)

Lifting CDCL to template-based abstract domains for program verification
by: Mukherjee, R, et al.
Published: (2017)

The e hardware verification language /
by: 326523 Iman, Sasan, et al.
Published: (2004)

Modular verification of hardware systems
by: Vijayaraghavan, Muralidaran
Published: (2016)

Formal Verification of Hardware Synthesis
by: Braibant, Thomas, et al.
Published: (2014)

Formally Analyzed Dynamic Synthesis of Hardware
by: Susanto, K, et al.
Published: (2001)

Formally Analysed Dynamic Synthesis of Hardware
by: Susanto, K, et al.
Published: (1998)

Using Recursive Types to Reason about Hardware in Higher Order Logic
by: Melham, T
Published: (1988)

Using Recursive Types to Reason about Hardware in Higher Order Logic
by: Melham, T
Published: (1988)

Mechanisms for functional testing of hardware models at different levels of abstraction
by: A. S. Kamkin, et al.
Published: (2018-10-01)

Verification by error modeling : using testing techniques in hardware verification /
by: 461327 Radecka, Katarzyna, et al.
Published: (2003)

Restricted Branching Programs and Hardware Verification
by: Ponzio, Stephen J.
Published: (2023)

Restricted branching programs and hardware verification
by: Ponzio, Stephen J. (Stephen John)
Published: (2006)

Hashing hardware : identifying hardware during boot-time system verification
by: Chilingirian, Berj Krikor
Published: (2017)

Precise abstract interpretation of hardware designs
by: Mukherjee, R
Published: (2018)

Design and Verification of On−Chip Communication Protocols
by: Böhm, P, et al.
Published: (2008)

Design and Verification of On−Chip Communication Protocols
by: Böhm, P, et al.
Published: (2015)

Design and Verification of On−Chip Communication Protocols
by: Böhm, P, et al.
Published: (2015)

Abstraction by symbolic indexing transformations
by: Melham, T, et al.
Published: (2002)

Abstraction by Symbolic Indexing Transformations
by: Melham, T, et al.
Published: (2002)

Hardware verification with C++ : a practitoner's handbook /
by: 272566 Mintz, Mike, et al.
Published: (2006)

FPGA based automated hardware verification system /
by: Kee, Woei Chee , author, et al.
Published: (2009)

Formal Verification of Fault-Tolerant Hardware Designs
by: Luis Entrena, et al.
Published: (2023-01-01)

Modular Deductive Verification of Multiprocessor Hardware Designs
by: Vijayaraghavan, Muralidaran, et al.
Published: (2019)

An AMBA−ARM7 Formal Verification Platform
by: Susanto, K, et al.
Published: (2003)

Hardware verification with SystemVerilog : an object-oriented framework /
by: 272566 Mintz, Mike, et al.
Published: (2007)

Reinforcement Learning Made Affordable for Hardware Verification Engineers
by: Alexandru Dinu, et al.
Published: (2022-11-01)

Foundational Integration Verification of Diverse Software and Hardware Components
by: Erbsen, Andres
Published: (2023)