21437 search results - page 98 / 4288 » Hardware |
119
click to vote
HVC
2007
Springer
15 years 10 months ago
2007
Springer
The paper presents a new approach to formal verification of generic (i.e. parametrised) hardware designs specified in VHDL. The proposed approach is based on a translation of suc...
129
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
116
click to vote
MSE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes our experience to date and current plans for a senior-level microelectronics laboratory course on hardware/software codesign. The course utilizes an open-sour...
153
click to vote
ICES
2003
Springer
15 years 9 months ago
2003
Springer
This paper proposes a coprocessor architecture to speed up hardware evolution. It is designed to be implemented in an FPGA with an integrated microprocessor core. The coprocessor r...
ASPDAC
1999
ACM
15 years 8 months ago
1999
ACM
- We describe an integrated model of the hardware and the battery sub-systems in batterypowered VLSI systems. We demonstrate that, under this model and for a fixed operating voltag...