1151 search results - page 138 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
129
click to vote
ISPD
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents SafeChoice (SC), a novel clustering algorithm for wirelength-driven placement. Unlike all previous approaches, SC is proposed based on a fundamental theorem, s...
150
click to vote
ECMDAFA
2007
Springer
15 years 10 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
136
Voted
ISCAS
2002
IEEE
15 years 9 months ago
2002
IEEE
As the complexity of embedded systems grows rapidly, it is common to accelerate critical tasks with hardware. Designers usually use off-the-shelf components or licensed IP cores t...
110
click to vote
IMS
2000
15 years 8 months ago
2000
Many architectural ideas that appear to be useful from a hardware standpoint fail to achieve wide acceptance due to lack of compiler support. In this paper we explore the design of...
124
click to vote
FPGA
2004
ACM
15 years 9 months ago
2004
ACM
We present the design of a high-performance, highly pipelined asynchronous FPGA. We describe a very fine-grain pipelined logic block and routing interconnect architecture, and sh...