46 search results - page 4 / 10 » Formal Verification of an ARM Processor |
77
Voted
CADE
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...
IEEEPACT
2007
IEEE
15 years 6 months ago
2007
IEEE
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
186
Voted
POPL
2008
ACM
15 years 12 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
190
click to vote
POPL
2006
ACM
15 years 12 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
92
Voted
VLSID
2008
IEEE
15 years 6 months ago
2008
IEEE
It is well-known that varying architectural, technological and implementation aspects of embedded microprocessors, such as ARM, can produce widely differing performance and power ...