1151 search results - page 92 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
141
click to vote
RTS
2010
15 years 2 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
122
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Cryptographic hash functions are security primitives that compute check sums of messages in a strong manner and this way are of fundamental importance for ensuring integrity and au...
121
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
118
click to vote
FCCM
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a domain-specific approach to generate highperformance hardware-software partitioned implementations of the discrete Fourier transform (DFT) in fixed point precision....
109
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
–Architectures with multiple programmable cores are becoming more attractive for video codec applications because they can provide highly concurrent computation and support multi...