4516 search results - page 527 / 904 » Automated System Design for Availability |
170
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
184
click to vote
FPL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Field-Programmable Gate Arrays (FPGAs) have lately become a popular target for implementing cryptographic block ciphers, as a well-designed FPGA solution can combine some...
175
Voted
FPL
2008
Springer
15 years 8 months ago
2008
Springer
It is often desirable to change the logic and/or the connections within an FPGA design on-the-fly without the benefit of a workstation or vendor CAD software. This paper presents ...
176
Voted
CGVR
2008
15 years 8 months ago
2008
- The erosive action of rivers and seas has immense influence on the appearance of the physical landscape. However, the creation of several important river and coastal features are...
164
click to vote
AC
2005
Springer
15 years 6 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...