-
3
-
-
0027849390
-
Computation of floating mode delay in combinational circuits: Theory and algorithms
-
December
-
S. Devadas, K. Keutzer, and S. Malik. Computation of floating mode delay in combinational circuits: Theory and algorithms. IEEE Transactions on Computer-Aided Design of Integrated Circuits, 12(12):1913-1923, December 1993.
-
(1993)
IEEE Transactions on Computer-aided Design of Integrated Circuits
, vol.12
, Issue.12
, pp. 1913-1923
-
-
Devadas, S.1
Keutzer, K.2
Malik, S.3
-
4
-
-
0003228897
-
Delay models and exact timing analysis
-
T. Sasao, editor. Kluwer Academic Publishers
-
P. C. McGeer, A. Saldanha, R. K. Brayton, and A. Sangiovanni-Vincentelli. Delay models and exact timing analysis. In T. Sasao, editor, Logic Synthesis and Optimization, pages 167-189. Kluwer Academic Publishers, 1993.
-
(1993)
Logic Synthesis and Optimization
, pp. 167-189
-
-
McGeer, P.C.1
Saldanha, A.2
Brayton, R.K.3
Sangiovanni-Vincentelli, A.4
-
6
-
-
0032318394
-
Waiting false path analysis of sequential logic circuits for performance optimization
-
November
-
K. Nakamura, K. Takagi, S. Kimura, and K. Watanabe. Waiting false path analysis of sequential logic circuits for performance optimization. In Proceedings of IEEE/ACM International Conference on CAD-98, pages 392-395, November 1998.
-
(1998)
Proceedings of IEEE/ACM International Conference on CAD-98
, pp. 392-395
-
-
Nakamura, K.1
Takagi, K.2
Kimura, S.3
Watanabe, K.4
-
7
-
-
0034516553
-
Multi-cycpe path detection based on propositional satisfiability with cnf simplification using adaptive variable insertion
-
December
-
K. Nakamura, S. Maruoka, S. Kimura, and K. Watanabe. Multi-cycpe path detection based on propositional satisfiability with cnf simplification using adaptive variable insertion. IEICE Trans. on Fundamentals, E83-A(12):2600-2607, December 2000.
-
(2000)
IEICE Trans. on Fundamentals
, vol.E83-A
, Issue.12
, pp. 2600-2607
-
-
Nakamura, K.1
Maruoka, S.2
Kimura, S.3
Watanabe, K.4
-
9
-
-
0036059440
-
An implication-based method to detect multi-cycle paths in large sequential circuits
-
June
-
H. Higuchi. An implication-based method to detect multi-cycle paths in large sequential circuits. In Proceedings of the 39th ACM/IEEE Design Automation Conference, pages 164-169, June 2002.
-
(2002)
Proceedings of the 39th ACM/IEEE Design Automation Conference
, pp. 164-169
-
-
Higuchi, H.1
-
10
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
August
-
R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, 35(8):677-691, August 1986.
-
(1986)
IEEE Transactions on Computers
, vol.35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
12
-
-
0005556716
-
Enhanced unique sensitization for efficient test generation
-
September
-
Y. Matsunaga and M. Fujita. Enhanced unique sensitization for efficient test generation. IEICE Trans. on Information and Systems, E76-D(9):1114-1120, September 1993.
-
(1993)
IEICE Trans. on Information and Systems
, vol.E76-D
, Issue.9
, pp. 1114-1120
-
-
Matsunaga, Y.1
Fujita, M.2
|