ASPDAC
2004
ACM
14 years 5 months ago
2004
ACM
Abstract — This paper presents a functional-space decomposition approach to enhance the capability of symbolic simulation. In our symbolic simulator, the control part and datapat...
ASPDAC
2004
ACM
14 years 5 months ago
2004
ACM
— While essential for high-performance circuit design, the custom nature of datapath components confines their use in only a few microprocessor companies. The reusability of dat...
ASPDAC
2004
ACM
14 years 5 months ago
2004
ACM
Delay minimization continues to be an important objective in the design of high-performance computing system. In this paper, we present an effective methodology to guide the delay...
ASPDAC
2004
ACM
14 years 5 months ago
2004
ACM
ASPDAC
2004
ACM
14 years 5 months ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
ASPDAC
2004
ACM
14 years 5 months ago
2004
ACM
ASPDAC
2004
ACM
14 years 5 months ago
2004
ACM
- In this paper, we explore a new concept, called on-chip diversity, and introduce a design methodology for such emerging systems. Simply speaking, on-chip diversity means mixing d...
ASPDAC
2004
ACM
14 years 5 months ago
2004
ACM
ASPDAC
2004
ACM
14 years 5 months ago
2004
ACM
Congestion estimation is an important issue for the success of the VLSI layout. Fast congestion estimation provides an efficient means to adjust the placement and wire planning. A...
ASPDAC
2004
ACM
14 years 5 months ago
2004
ACM
As the process technology advances into the deep submicron era, interconnect plays a dominant role in determining circuit performance and signal integrity. Buffer insertion is one...