Practical Formal Verification in Microprocessor Design

Practical Formal Verification in Microprocessor Design

Detaylı Bibliyografya
Asıl Yazarlar:	Jones, R, O'Leary, J, Seger, C, Aagaard, M, Melham, T
Materyal Türü:	Journal article
Baskı/Yayın Bilgisi:	2015

Benzer Materyaller

An Industrially Effective Environment for Formal Hardware Verification
Yazar:: Seger, C, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

A Methodology for Large−Scale Hardware Verification
Yazar:: Aagaard, M, ve diğerleri
Baskı/Yayın Bilgisi: (2000)

Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
Yazar:: O'Leary, J, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Relational STE and theorem proving for formal verification of industrial circuit designs
Yazar:: O'Leary, J, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Abstract: Experience with Practical Formal Verification at an Industrial Scale
Yazar:: Melham, T
Baskı/Yayın Bilgisi: (2003)

Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
Yazar:: Aagaard, M, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version)
Yazar:: Aagaard, M, ve diğerleri
Baskı/Yayın Bilgisi: (2000)

Hardware Verification by Formal Proof
Yazar:: Birtwistle, G, ve diğerleri
Baskı/Yayın Bilgisi: (1988)

Hardware Verification by Formal Proof
Yazar:: Birtwistle, G, ve diğerleri
Baskı/Yayın Bilgisi: (1988)

HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems
Yazar:: Lukáš Charvát, ve diğerleri
Baskı/Yayın Bilgisi: (2016-12-01)

Contextualizing formal verification for systems security engineering
Yazar:: Shaked, A, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

An AMBA−ARM7 Formal Verification Platform
Yazar:: Susanto, K, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

A formal CHERI-C semantics for verification
Yazar:: Park, SH, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

Formalizing Abstraction Mechanisms for Hardware Verification in Higher Order Logic
Yazar:: Melham, T
Baskı/Yayın Bilgisi: (1989)

Tools for Functional Verification of Microprocessors
Yazar:: A. Kamkin, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Automatic verification of pipelined microprocessors
Yazar:: Bhagwati, Vishal Lalit
Baskı/Yayın Bilgisi: (2006)

Occam in the specification and verification of microprocessors
Yazar:: Roscoe, A
Baskı/Yayın Bilgisi: (1992)

A Reflective Functional Language for Hardware Design and Theorem Proving
Yazar:: Grundy, J, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

A Reflective Functional Language for Hardware Design and Theorem Proving
Yazar:: Grundy, J, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

End-to-end formal verification of a RISC-V processor extended with capability pointers
Yazar:: Gao, D, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

A Functional HDL in ReFLect
Yazar:: Melham, T, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Approaches to Stand-alone Verification of Multicore Microprocessor Caches
Yazar:: M. . Petrochenkov, ve diğerleri
Baskı/Yayın Bilgisi: (2018-10-01)

Design and Verification of On−Chip Communication Protocols
Yazar:: Böhm, P, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Design and Verification of On−Chip Communication Protocols
Yazar:: Böhm, P, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Design and Verification of On−Chip Communication Protocols
Yazar:: Böhm, P, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Skills-Based Grading: a novel approach to teaching formal semantics
Yazar:: O'Leary, M, ve diğerleri
Baskı/Yayın Bilgisi: (2021)

Microprocessor system design : a practical introduction /
Yazar:: 428489 Spinks, Michael J.
Baskı/Yayın Bilgisi: (1992)

Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines
Yazar:: Ghada Bahig, ve diğerleri
Baskı/Yayın Bilgisi: (2017-01-01)

Formal Verification of Fault-Tolerant Hardware Designs
Yazar:: Luis Entrena, ve diğerleri
Baskı/Yayın Bilgisi: (2023-01-01)

Theory and practice of microprocessors /
Yazar:: 264864 Nichols, K. G., ve diğerleri

A Refinement Approach to Design and Verification of On−Chip Communication Protocols
Yazar:: Böhm, P, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

A Refinement Approach to Design and Verification of On−Chip Communication Protocols
Yazar:: Böhm, P, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

A Refinement Approach to Design and Verification of On-Chip Communication Protocols
Yazar:: Boehm, P, ve diğerleri
Baskı/Yayın Bilgisi: (2008)

Abstraction Mechanisms for Hardware Verification
Yazar:: Melham, T
Baskı/Yayın Bilgisi: (1990)

Abstraction Mechanisms for Hardware Verification
Yazar:: Melham, T
Baskı/Yayın Bilgisi: (1988)

Abstraction Mechanisms for Hardware Verification
Yazar:: Melham, T
Baskı/Yayın Bilgisi: (1987)

Practical microprocessor interfacing /
Yazar:: 260234 Money, Steve A.
Baskı/Yayın Bilgisi: (1987)

QWIRE Practice: Formal Verification of Quantum Circuits in Coq
Yazar:: Robert Rand, ve diğerleri
Baskı/Yayın Bilgisi: (2018-02-01)

Applied formal verification /
Yazar:: 225698 Perry, Douglas L., ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Advanced formal verification /
Yazar:: Drechsler, Rolf
Baskı/Yayın Bilgisi: (2004)