ASPDAC
2008
ACM
14 years 1 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
ASPDAC
2008
ACM
14 years 1 months ago
2008
ACM
- This paper presents a duo-binary circular turbo decoder based on border metric encoding. With the proposed method, the memory size for branch memory is reduced by half and the du...
ASPDAC
2008
ACM
14 years 2 months ago
2008
ACM
Ball Grid Array packages in which I/O pins are arranged in a grid array pattern realize a number of connections between chips and a printed circuit board, but it takes much time in...
ASPDAC
2008
ACM
14 years 2 months ago
2008
ACM
Power dissipation is quickly becoming one of the most important limiters in nanometer IC design for leakage increases exponentially as the technology scaling down. However, power ...
ASPDAC
2008
ACM
14 years 2 months ago
2008
ACM
The timing models used in current Static Timing Analysis tools use gate delays only for single input switching events. It is well known that the temporal proximity of signals arriv...
ASPDAC
2008
ACM
14 years 2 months ago
2008
ACM
Abstract-- Increasing delay and power variation are significant challenges to the designers as technology scales to the deep sub-micron (DSM) regime. Traditional module selection t...
ASPDAC
2008
ACM
14 years 2 months ago
2008
ACM
The quality of the input system model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-structured system model, tools today are...
ASPDAC
2008
ACM
14 years 2 months ago
2008
ACM
ASPDAC
2008
ACM
14 years 2 months ago
2008
ACM
In the nanometer manufacturing region, process variation causes significant uncertainty for circuit performance verification. Statistical static timing analysis (SSTA) is thus dev...
ASPDAC
2008
ACM
14 years 2 months ago
2008
ACM
-- Nowadays many design space exploration tools are based on Multi