46 search results - page 1 / 10 » Formal Verification of an ARM Processor |
VLSID
1999
IEEE
13 years 8 months ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
ASPDAC
2007
ACM
13 years 8 months ago
2007
ACM
- The required processing performance of embedded processor core is getting higher and higher without increasing power consumption dramatically. In same time, large SoC design has ...
TODAES
1998
13 years 3 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
EURODAC
1994
IEEE
13 years 8 months ago
1994
IEEE
We outline a general methodology for the formal verification of pipeline conflicts in RISC cores. The different kinds of conflicts that can occur due to the simultaneous execution...
ICCD
2004
IEEE
14 years 1 months ago
2004
IEEE
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...