2945 search results - page 61 / 589 » Designing and Implementing Malicious Hardware |
120
click to vote
ENGL
2008
15 years 4 months ago
2008
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
167
click to vote
TPCD
1994
15 years 5 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...
143
click to vote
FPL
1999
Springer
15 years 8 months ago
1999
Springer
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
146
click to vote
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper presents a multiple-FPGA-based experimentation board. The problem to be solved is that of implementing a circuit into a set of FPGAs. This board provides a hardware env...
148
Voted
CAL
2006
15 years 4 months ago
2006
Modern programming languages often include complex mechanisms for dynamic memory allocation and garbage collection. These features drive the need for more efficient implementation ...