ASPDAC
1995
ACM
14 years 6 days ago
1995
ACM
— The goal of transistor reordering for a logic gate is to reduce the propagation delay as well as the charging and discharging of internal capacitances to achieve low power cons...
ASPDAC
1995
ACM
14 years 6 days ago
1995
ACM
ASPDAC
1995
ACM
14 years 6 days ago
1995
ACM
ASAP
1995
IEEE
14 years 6 days ago
1995
IEEE
ASAP
1995
IEEE
14 years 6 days ago
1995
IEEE
This paper explores an architecture for parallel independent computations of inner products over the direct product ring . The structure is based on the polynomial mapping of the ...
ASAP
1995
IEEE
14 years 6 days ago
1995
IEEE
DATE
1997
IEEE
14 years 6 days ago
1997
IEEE
A new method for state justi cation is proposed for sequential circuit test generation. The linear list of states dynamically obtained during the derivation of test vectors is use...
CHARME
1997
Springer
14 years 6 days ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
CAV
1997
Springer
14 years 6 days ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
PACS
2000
Springer
14 years 6 days ago
2000
Springer
Because the inductive noise Ldi/dt is induced by the power change and can have disastrous impact on the timing and reliability of the system, high-performance CPU designs are more ...