-
1
-
-
0025505723
-
Timing verification using statically sensitizable paths
-
Oct.
-
J. Benkoski, E. Vanden Meersch, L. J. M. Claesen, and H. De Man, "Timing verification using statically sensitizable paths," IEEE Trans. Comput.-Aided Des. Integr. Circuirs Syst., vol. 9, no. 10, pp. 1073-1084, Oct. 1990.
-
(1990)
IEEE Trans. Comput.-aided Des. Integr. Circuirs Syst.
, vol.9
, Issue.10
, pp. 1073-1084
-
-
Benkoski, J.1
Vanden Meersch, E.2
Claesen, L.J.M.3
De Man, H.4
-
2
-
-
0031685851
-
Estimation of maximum current envelope for power bus analysis and design
-
Apr. 6-8
-
S. Bobba and I. N. Hajj, "Estimation of maximum current envelope for power bus analysis and design," in Proc. ISPD, Apr. 6-8, 1998, pp. 141-146.
-
(1998)
Proc. ISPD
, pp. 141-146
-
-
Bobba, S.1
Hajj, I.N.2
-
3
-
-
0031380409
-
Estimation of maximum switching activity in digital VLSI circuits
-
Sacramento, CA, Aug. 3-6
-
_, "Estimation of maximum switching activity in digital VLSI circuits," in Proc. Midwest Symp. Circuits Syst., Sacramento, CA, Aug. 3-6, 1997, pp. 1130-1133.
-
(1997)
Proc. Midwest Symp. Circuits Syst.
, pp. 1130-1133
-
-
-
4
-
-
35248869892
-
A new trust region technique for the maximum weight clique problem
-
a manuscript submitted to. [Online]
-
S. Busygin, "A new trust region technique for the maximum weight clique problem," a manuscript submitted to Special Issue of Applied Discrete Mathematics: Combinatorial Optimization, 2002. [Online]. Available: http://www.busygin.dp.ua/npc.html
-
(2002)
Special Issue of Applied Discrete Mathematics: Combinatorial Optimization
-
-
Busygin, S.1
-
5
-
-
0030379797
-
Perturb and simplify: Multi-level Boolean network optimizer
-
Dec.
-
S. C. Chang, M. Marek-Sadowska, and K. T. Cheng, "Perturb and simplify: Multi-level Boolean network optimizer," IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst., vol. 15, no. 12, pp. 1494-1504, Dec. 1996.
-
(1996)
IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.
, vol.15
, Issue.12
, pp. 1494-1504
-
-
Chang, S.C.1
Marek-Sadowska, M.2
Cheng, K.T.3
-
6
-
-
0031153009
-
Post layout logic restructuring using alternative wires
-
Jun.
-
S. C. Chang, K. T. Cheng, N. S. Woo, and M. Marek-Sadowska, "Post layout logic restructuring using alternative wires," IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst., vol. 16, no. 6, pp. 587-596, Jun. 1997.
-
(1997)
IEEE Trans. Comput.-aided Des. Integr. Circuits Syst.
, vol.16
, Issue.6
, pp. 587-596
-
-
Chang, S.C.1
Cheng, K.T.2
Woo, N.S.3
Marek-Sadowska, M.4
-
7
-
-
0033355046
-
Circuit optimizations by rewiring
-
Sep.
-
S. C. Chang, L. V. Ginneken, and M. Marek-Sadowska, "Circuit optimizations by rewiring," IEEE Trans. Comput., vol. 48, no. 9, pp. 962-970, Sep. 1999.
-
(1999)
IEEE Trans. Comput.
, vol.48
, Issue.9
, pp. 962-970
-
-
Chang, S.C.1
Ginneken, L.V.2
Marek-Sadowska, M.3
-
8
-
-
0027544793
-
Path sensitization in critical path problem
-
Feb.
-
H. C. Chen and D. H.-C. Du, "Path sensitization in critical path problem," IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst., vol. 12, no. 2, pp. 196-207, Feb. 1993.
-
(1993)
IEEE Trans. Comput.-aided Des. Integr. Circuits Syst.
, vol.12
, Issue.2
, pp. 196-207
-
-
Chen, H.C.1
Du, D.H.-C.2
-
9
-
-
0025439702
-
Estimation of maximum current in MOS IC logic circuits
-
Jun.
-
S. Chowdhury and J. S. Barkatullah, "Estimation of maximum current in MOS IC logic circuits," IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst., vol. 9, no. 6, pp. 642-654, Jun. 1990.
-
(1990)
IEEE Trans. Comput.-aided Des. Integr. Circuits Syst.
, vol.9
, Issue.6
, pp. 642-654
-
-
Chowdhury, S.1
Barkatullah, J.S.2
-
10
-
-
0026840166
-
Estimation of power dissipation in CMOS combinational circuits using Boolean function manipulation
-
Mar.
-
S. Devadas, K. Keutzer, and J. White, "Estimation of power dissipation in CMOS combinational circuits using Boolean function manipulation," IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst., vol. 11, no. 3, pp. 373-383, Mar. 1992.
-
(1992)
IEEE Trans. Comput.-aided Des. Integr. Circuits Syst.
, vol.11
, Issue.3
, pp. 373-383
-
-
Devadas, S.1
Keutzer, K.2
White, J.3
-
11
-
-
0035209064
-
False-noise analysis using logic implications
-
A. Glebov, S. Gavrilov, D. Blaauw, S. Sirichotiyakul, C. Oh, and V. Zolotov, "False-noise analysis using logic implications," in Proc. ICCAD, 2001, pp. 515-521.
-
(2001)
Proc. ICCAD
, pp. 515-521
-
-
Glebov, A.1
Gavrilov, S.2
Blaauw, D.3
Sirichotiyakul, S.4
Oh, C.5
Zolotov, V.6
-
12
-
-
16444364550
-
False-noise analysis using resolution method
-
A. Glebov, S. Gavrilov, D. Blaauw, V. Zolotov, R. Randa, and C. Oh, "False-noise analysis using resolution method," in Proc. ISQED, 2002, pp. 437-442.
-
(2002)
Proc. ISQED
, pp. 437-442
-
-
Glebov, A.1
Gavrilov, S.2
Blaauw, D.3
Zolotov, V.4
Randa, R.5
Oh, C.6
-
13
-
-
0030690677
-
K2: An estimator for peak sustainable power of VLSI circuits
-
Aug.
-
M. S. Hsiao, E. M. Rudnick, and J. H. Patel, "K2: An estimator for peak sustainable power of VLSI circuits," in Proc. ISLPED, Aug. 1997, pp. 178-183.
-
(1997)
Proc. ISLPED
, pp. 178-183
-
-
Hsiao, M.S.1
Rudnick, E.M.2
Patel, J.H.3
-
14
-
-
0030655539
-
Estimation of maximum power and instantaneous current using a genetic algorithm
-
May
-
Y. M. Jiang, K. T. Cheng, and A. Krstic, "Estimation of maximum power and instantaneous current using a genetic algorithm," in Proc. IEEE Custom Integrated Circuits Conf., May 1997, pp. 135-138.
-
(1997)
Proc. IEEE Custom Integrated Circuits Conf.
, pp. 135-138
-
-
Jiang, Y.M.1
Cheng, K.T.2
Krstic, A.3
-
15
-
-
0034135572
-
Estimation for maximum instantaneous current through supply lines for CMOS circuits
-
Feb.
-
Y. M. Jiang, A. Krstic, and K. T. Cheng, "Estimation for maximum instantaneous current through supply lines for CMOS circuits," IEEE Trans. VLSI Syst., vol. 8, no. 1, pp. 61-73, Feb. 2000.
-
(2000)
IEEE Trans. VLSI Syst.
, vol.8
, Issue.1
, pp. 61-73
-
-
Jiang, Y.M.1
Krstic, A.2
Cheng, K.T.3
-
16
-
-
0029358733
-
Pattern independent maximum current estimation in power and ground buses of CMOS VLSI circuits: Algorithms, signal correlations, and their resolution
-
Aug.
-
H. Kriplani, F. Najm, and I. N. Hajj, "Pattern independent maximum current estimation in power and ground buses of CMOS VLSI circuits: algorithms, signal correlations, and their resolution," IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst., vol. 14, no. 8, pp. 998-1012, Aug. 1995.
-
(1995)
IEEE Trans. Comput.-aided Des. Integr. Circuits Syst.
, vol.14
, Issue.8
, pp. 998-1012
-
-
Kriplani, H.1
Najm, F.2
Hajj, I.N.3
-
17
-
-
0029723904
-
PECS: A peak current and power simulator for CMOS combinational circuits
-
May
-
K. N. Lam and S. Devadas, "PECS: A peak current and power simulator for CMOS combinational circuits," in Proc. IEEE Int. Symp. Circuits Syst., May 1996, pp. 488-491.
-
(1996)
Proc. IEEE Int. Symp. Circuits Syst.
, pp. 488-491
-
-
Lam, K.N.1
Devadas, S.2
-
18
-
-
16244415824
-
Estimation of peak current through CMOS VLSI circuit supply lines
-
Jan.
-
T. Murayama, K. Ogawa, and H. Yamaguchi, "Estimation of peak current through CMOS VLSI circuit supply lines," in Proc. ASP-DAC, Jan. 1999, pp. 295-298.
-
(1999)
Proc. ASP-DAC
, pp. 295-298
-
-
Murayama, T.1
Ogawa, K.2
Yamaguchi, H.3
-
19
-
-
0024890133
-
Static timing analysis of dynamically sensitizable paths
-
S. Perremans, L. Claesen, and H. De Man, "Static timing analysis of dynamically sensitizable paths," in Proc. DAC, 1989, pp. 568-573.
-
(1989)
Proc. DAC
, pp. 568-573
-
-
Perremans, S.1
Claesen, L.2
De Man, H.3
-
20
-
-
0029519120
-
Estimation of maximum transition counts at internal nodes in CMOS VLSI circuits
-
C.-C. Teng, A. M. Hill, and S.-M. Kang, "Estimation of maximum transition counts at internal nodes in CMOS VLSI circuits," in Proc. IEEE/ACM Int. Conf. CAD, 1995, pp. 366-370.
-
(1995)
Proc. IEEE/ACM Int. Conf. CAD
, pp. 366-370
-
-
Teng, C.-C.1
Hill, A.M.2
Kang, S.-M.3
-
21
-
-
0029696105
-
Maximum power estimation for CMOS circuits using deterministic and statistic approaches
-
Jan.
-
C.-Y. Wang and K. Roy, "Maximum power estimation for CMOS circuits using deterministic and statistic approaches," in Proc. 9th Int. Conf. VLSI Des., Jan. 1995, pp. 364-369.
-
(1995)
Proc. 9th Int. Conf. VLSI Des.
, pp. 364-369
-
-
Wang, C.-Y.1
Roy, K.2
-
22
-
-
0033740322
-
Maximization of power dissipation in large CMOS circuits considering spurious transitions
-
Apr.
-
_, "Maximization of power dissipation in large CMOS circuits considering spurious transitions," IEEE Trans. Circuits Syst. I, Fundam. Theory Applicat., vol. 47, no. 4, pp. 483-490, Apr. 2000.
-
(2000)
IEEE Trans. Circuits Syst. I, Fundam. Theory Applicat.
, vol.47
, Issue.4
, pp. 483-490
-
-
-
23
-
-
0029723060
-
Maximum power estimation for sequential circuits using a test generation based technique
-
Apr.
-
C.-Y. Wang, K. Roy, and T. -L. Chou, "Maximum power estimation for sequential circuits using a test generation based technique," in Proc. IEEE Custom Integr. Circuits Conf., Apr. 1996, pp. 229-232.
-
(1996)
Proc. IEEE Custom Integr. Circuits Conf.
, pp. 229-232
-
-
Wang, C.-Y.1
Roy, K.2
Chou, T.L.3
|