ARC
2006
Springer
14 years 13 days ago
2006
Springer
ARC
2006
Springer
14 years 13 days ago
2006
Springer
To fill the gap between increasing demand for reconfigurability and performance efficiency, CGRAs are seen to be an emerging platform. In this paper, a new architecture, QUKU, is d...
ARC
2006
Springer
14 years 13 days ago
2006
Springer
This paper presents a reconfigurable hardware architecture for Public-key cryptosystems. By changing the connections of coarse grain Carry-Save Adders (CSAs), the datapath provides...
ARC
2006
Springer
14 years 13 days ago
2006
Springer
Abstract. We propose the multiple LUT cascade as a means to configure an ninput LPM (Longest Prefix Match) address generator commonly used in routers to determine the output port g...
ARC
2006
Springer
14 years 13 days ago
2006
Springer
Abstract. We describe a new approach for creating hardware description language (HDL) specifications for custom instructions, to form part of the instruction-set architecture (ISA)...
ARC
2006
Springer
14 years 13 days ago
2006
Springer
Abstract. Virtual channel reservation is a simple approach for providing guaranteed throughput services in a virtual channel network-on-chip. However, its performance is limited by...
CAV
2004
Springer
14 years 13 days ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
CAV
2004
Springer
14 years 13 days ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
CAV
2004
Springer
14 years 13 days ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
CAV
2004
Springer
14 years 13 days ago
2004
Springer