48 search results - page 4 / 10 » Formal Verification of a Public-Domain DDR2 Controller Desig... |
CORR
2008
Springer
14 years 11 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
113
Voted
GECCO
2008
Springer
15 years 22 days ago
2008
Springer
Many sectors of the military are interested in Self-Organized (SO) systems because of their flexibility, versatility and economics. The military is researching and employing auto...
121
Voted
TCAD
2008
14 years 11 months ago
2008
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
91
Voted
DATE
1999
IEEE
15 years 4 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
112
click to vote
ASPDAC
2001
ACM
15 years 3 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...