Using a formal specification and a model checker to monitor and direct simulation (original) (raw)
Related papers
2002
Formal Co-Validation of Low-Level Hardware/Software Interfaces
Linking simulation with formal verification at a higher level
IEEE Design and Test of Computers, 2004
A methodology for processor implementation verification
Lecture Notes in Computer Science, 1996
CREST: Hardware Formal Verification with ANSI-C Reference Specifications
2019
Using formal specifications for functional validation of hardware designs
Design & Test of Computers, IEEE, 2002
SoC Protocol Implementation Verification Using Instruction-Level Abstraction (ILA) Specifications
ACM Transactions on Design Automation of Electronic Systems
Practical Formal Verification in Microprocessor Design
Industrial Strength Refinement Checking
Flemming Andersen, Gaurav Singh
Introduction to Formal Hardware Verification
1999
An industrially effective environment for formal hardware verification
… -Aided Design of …, 2005
Formal refinement checking in a system-level design methodology
Fundamenta …, 2004
Formal verification of microprocessors
Proceedings of the Fourth Annual Conference on Computer Assurance, 'Systems Integrity, Software Safety and Process Security, 1989
Formal hardware verification methods: A survey
Formal Methods in System Design, 1992
Formal modeling and verification of microprocessors
IEEE Transactions on Computers, 1995
Towards Formal Verification on the System Level
Verifying Communication Protocols Using Live Sequence Chart Specifications
Electronic Notes in Theoretical Computer Science, 2009
Formal verification in hardware design
ACM Transactions on Design Automation of Electronic Systems, 1999
Directed-simulation assisted formal verification of serial protocol and bridge
Proceedings of the 43rd annual conference on Design automation - DAC '06, 2006
Verifying formal specifications using fault tree analysis
Proceedings International Symposium on Principles of Software Evolution, 2000
Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking
Practical verification of embedded software
Computer, 2000
Towards the formal verification of the requirements and design of a processor interface unit
1993
Using a hardware model checker to verify software
ASIC, 2001. Proceedings. 4th …, 2001
Specification and prototyping of network protocols in rewriting logic
1998
Formal verification of a system-on-chip using computation slicing
2004 International Conferce on Test
Towards Automatic Validation of Dynamic Behavior in Pipelined Processor Specifications
Design Automation for Embedded Systems, 2003
Formal verification of hardware correctness: introduction and survey of current research
Computer, 1988
Formal Verification of Simulation Traces Using Computation Slicing
IEEE Transactions on Computers, 2007