Automatic Verification of Sequential Circuits Using Temporal Logic
From MaRDI portal
hardware verificationpropositional temporal logicasynchronous circuitscorrectness of sequential circuitsstate-transition graphtruth of a temporal formula
Recommendations
Cited in
(49)- Verification of a multiprocessor cache protocol using simulation relations and higher-order logic
- scientific article; zbMATH DE number 516995 (Why is no real title available?)
- The Birth of Model Checking
- scientific article; zbMATH DE number 139802 (Why is no real title available?)
- Automated temporal reasoning about reactive systems
- scientific article; zbMATH DE number 4043765 (Why is no real title available?)
- Reasoning about networks with many identical finite state processes
- scientific article; zbMATH DE number 4174373 (Why is no real title available?)
- scientific article; zbMATH DE number 177248 (Why is no real title available?)
- Characterizing finite Kripke structures in propositional temporal logic
- scientific article; zbMATH DE number 177259 (Why is no real title available?)
- scientific article; zbMATH DE number 4018390 (Why is no real title available?)
- scientific article; zbMATH DE number 177500 (Why is no real title available?)
- Symbolic model checking: \(10^{20}\) states and beyond
- Proving sequential function chart programs using timed automata
- Indentification of inductive properties during verification of synchronous sequential circuits
- scientific article; zbMATH DE number 139813 (Why is no real title available?)
- scientific article; zbMATH DE number 177240 (Why is no real title available?)
- CTL^* and ECTL^* as fragments of the modal -calculus
- scientific article; zbMATH DE number 2102721 (Why is no real title available?)
- scientific article; zbMATH DE number 177508 (Why is no real title available?)
- A formalism to describe cyclogram testing models and perform model verification
- Asynchronous logic circuits and sheaf obstructions
- Automatic verification of intermittent systems
- From Monadic Logic to PSL
- scientific article; zbMATH DE number 1796133 (Why is no real title available?)
- Design and verification of logical models
- scientific article; zbMATH DE number 1696437 (Why is no real title available?)
- Verification of a technical system model with linear temporal logic
- From Philosophical to Industrial Logics
- Unified temporal logic
- A model checker for linear time temporal logic
- scientific article; zbMATH DE number 1751899 (Why is no real title available?)
- scientific article; zbMATH DE number 3861073 (Why is no real title available?)
- scientific article; zbMATH DE number 1852152 (Why is no real title available?)
- Formal verification of speed-dependent asynchronous circuits using symbolic model checking of Branching Time Regular Temporal Logic
- Using the HOL prove assistant for proving the correctness of term rewriting rules reducing terms of sequential behavior
- \(\infty\)-regular temporal logic and its model checking problem
- scientific article; zbMATH DE number 177519 (Why is no real title available?)
- TEMPORAL LOGICS FOR TRACE SYSTEMS: ON AUTOMATED VERIFICATION
- Machine checked proofs of the design of a fault-tolerant circuit
- scientific article; zbMATH DE number 3932379 (Why is no real title available?)
- scientific article; zbMATH DE number 3993458 (Why is no real title available?)
- Hierarchical verification of asynchronous circuits using temporal logic
- Description and reasoning of VLSI circuit in temporal logic
- Automatic and hierarchical verification for concurrent systems
- A formal framework for verification of embedded custom memories of the Motorola MPC7450 microprocessor
- Establishing latch correspondence for sequential circuits using distinguishing signatures
- Automated Technology for Verification and Analysis
This page was built for publication: Automatic Verification of Sequential Circuits Using Temporal Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3743249)
