Searching for authors named "Hans Eveking" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Formal Verification of Designs with Complex Control by Symbolic Simulation
- …A new approach for the automatic equivalence checking of behavioral or structural descriptions of designs with complex control is presented. The verification tool combines symbolic simulation with a hierarchy of equivalence checking methods, including decision-diagram based techniques, with incr…
- Cited by 10 (3 self) – Add To MetaCart
-
Formally Correct Construction of Pipelined Processors
- …A method of formally correct synthesis is presented, and applied to the automatic construction of pipelined processors. The method is based on a repertoire of elementary correctness-preserving transformations which are efficiently cross-checked by an independent formal verification tool. Basic pipel…
- Cited by 2 (2 self) – Add To MetaCart
-
Formal Synthesis for Pipeline Design
- …A method of formally correct synthesis is presented and applied to the automatic construction of pipelined processors. The approach is based on a small set of correctness-preserving transformations that are efficiently cross-checked by an independent formal verification tool. Basic pipeline strategi…
- Cited by 6 (4 self) – Add To MetaCart
-
Formal Verification of Descriptions with Distinct Order of Memory Operations
- …Formal verification tools must often cope with large memory sizes and indirect addressing. This paper presents a new approach of how to handle memory operations in the symbolic simulation of designs with complex control logic, e.g., processors. The simulator is currently used to check the equiva…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 4.
