-
2
-
-
33846602967
-
Logic soft errors: A major barrier to robust platform design
-
S. Mitra, M. Zhang, T.M. Mak, N. Seifert, V. Zia, and K.S. Kim, "Logic soft errors: A major barrier to robust platform design," in International Test Conference, 2005, pp. 687-698.
-
(2005)
International Test Conference
, pp. 687-698
-
-
Mitra, S.1
Zhang, M.2
Mak, T.M.3
Seifert, N.4
Zia, V.5
Kim, K.S.6
-
3
-
-
4444372346
-
A scalable soft spot analysis methodology for noise effects in nano-meter circuits
-
C. Zhao, X. Bai, and S. Dey, "A scalable soft spot analysis methodology for noise effects in nano-meter circuits," in ACM/IEEE Design Automation Conference, 2004, pp. 894-899.
-
(2004)
ACM/IEEE Design Automation Conference
, pp. 894-899
-
-
Zhao, C.1
Bai, X.2
Dey, S.3
-
4
-
-
33646909420
-
Soft-error tolerance analysis and optimization of nanometer circuits
-
Y. S. Dhillon, U. Diril, and A. Chatterjee, "Soft-error tolerance analysis and optimization of nanometer circuits," in Design, Automation and Test in Europe, 2005, pp. 288-293.
-
(2005)
Design, Automation and Test in Europe
, pp. 288-293
-
-
Dhillon, Y.S.1
Diril, U.2
Chatterjee, A.3
-
6
-
-
0031153009
-
Postlayout logic restructuring using alternative wires
-
S. C. Chang, K. T. Cheng, N. S. Woo, and M. Marek-Sadowska, "Postlayout logic restructuring using alternative wires," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 16, no. 6, pp. 587-596, 1997.
-
(1997)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
, vol.16
, Issue.6
, pp. 587-596
-
-
Chang, S.C.1
Cheng, K.T.2
Woo, N.S.3
Marek-Sadowska, M.4
-
7
-
-
0029344148
-
Combinational and sequential logic optimization by redundancy addition and removal
-
L. A. Entrena and K. T. Cheng, "Combinational and sequential logic optimization by redundancy addition and removal," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 14, no. 7, pp. 909-916, 1995.
-
(1995)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
, vol.14
, Issue.7
, pp. 909-916
-
-
Entrena, L.A.1
Cheng, K.T.2
-
8
-
-
0031097753
-
Logic optimization and equivalence checking by implication analysis
-
W. Kunz, D. Stoffel, and P. R. Menon, "Logic optimization and equivalence checking by implication analysis," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 16, no. 3, pp. 266-281, 1997.
-
(1997)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
, vol.16
, Issue.3
, pp. 266-281
-
-
Kunz, W.1
Stoffel, D.2
Menon, P.R.3
-
9
-
-
0029544859
-
LOT: Logic optimization with testability - new transformations using recursive learning
-
M. Chatterjee, D. Pradhan, and W. Kunz, "LOT: Logic optimization with testability - new transformations using recursive learning," in IEEE/ACM International Conference on Computer-Aided Design, 1995, pp. 115-118.
-
(1995)
IEEE/ACM International Conference on Computer-Aided Design
, pp. 115-118
-
-
Chatterjee, M.1
Pradhan, D.2
Kunz, W.3
-
10
-
-
0029699368
-
Reducing power dissipation after technology mapping by structural transformations
-
B. Rohfleisch, A. Kolbl, and B Wurth, "Reducing power dissipation after technology mapping by structural transformations," in ACM/IEEE Design Automation Conference, 1996, pp. 789-794.
-
(1996)
ACM/IEEE Design Automation Conference
, pp. 789-794
-
-
Rohfleisch, B.1
Kolbl, A.2
Wurth, B.3
-
11
-
-
0030718151
-
Postlayout logic restructuring for performance optimization
-
Y. M. Jiang, A. Krstic, K. T. Cheng, and M. Marek-Sadowska, "Postlayout logic restructuring for performance optimization," in ACM/IEEE Design Automation Conference, 1997, pp. 662-665.
-
(1997)
ACM/IEEE Design Automation Conference
, pp. 662-665
-
-
Jiang, Y.M.1
Krstic, A.2
Cheng, K.T.3
Marek-Sadowska, M.4
-
12
-
-
0034157131
-
Performance optimization by interacting netlist transformations and placement
-
G. Stenz, B. M. Riess, B. Rohfleisch, and F. M. Johannes, "Performance optimization by interacting netlist transformations and placement," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 19, no. 3, pp. 350-358, 2000.
-
(2000)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
, vol.19
, Issue.3
, pp. 350-358
-
-
Stenz, G.1
Riess, B.M.2
Rohfleisch, B.3
Johannes, F.M.4
-
13
-
-
39749107931
-
-
S. Almukhaizim, Y. Makris, Y.-S. Yang, and A. Veneris, Seamless integration of SER in rewiring-based design space exploration, in IEEE International Test Conference, 2006, pp. 29.3.1-29.3.9.
-
S. Almukhaizim, Y. Makris, Y.-S. Yang, and A. Veneris, "Seamless integration of SER in rewiring-based design space exploration," in IEEE International Test Conference, 2006, pp. 29.3.1-29.3.9.
-
-
-
-
14
-
-
50249171831
-
Enhancing design robustness with reliability-aware resyn-thesis and logic simulation
-
S. Krishnaswamy, S.M. Plaza, I.L.Markov, and J.P.Hayes, "Enhancing design robustness with reliability-aware resyn-thesis and logic simulation," in IEEE/ACM International Conference on Computer-Aided Design, 2007, pp. 149-154.
-
(2007)
IEEE/ACM International Conference on Computer-Aided Design
, pp. 149-154
-
-
Krishnaswamy, S.1
Plaza, S.M.2
Markov, I.L.3
Hayes, J.P.4
-
15
-
-
41449083508
-
Soft error mitigation through selective addition of functionally redundant wires
-
S. Almukhaizim and Y. Makris, "Soft error mitigation through selective addition of functionally redundant wires," IEEE Transactions on Reliability, vol. 57, no. 1, pp. 23-31, 2008.
-
(2008)
IEEE Transactions on Reliability
, vol.57
, Issue.1
, pp. 23-31
-
-
Almukhaizim, S.1
Makris, Y.2
-
16
-
-
0030395976
-
A new method to express functional permissibilities for LUT based FPGAs and its applications
-
S. Yamashita, H. Sawada, and A. Nagoya, "A new method to express functional permissibilities for LUT based FPGAs and its applications," in IEEE/ACM International Conference on Computer-Aided Design, 1996, pp. 254-261.
-
(1996)
IEEE/ACM International Conference on Computer-Aided Design
, pp. 254-261
-
-
Yamashita, S.1
Sawada, H.2
Nagoya, A.3
-
18
-
-
0034250771
-
SPFD: A new method to express functional flexibility
-
S. Yamashita, H. Sawada, and A. Nagoya, "SPFD: A new method to express functional flexibility," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 19, no. 8, pp. 840-849, 2000.
-
(2000)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
, vol.19
, Issue.8
, pp. 840-849
-
-
Yamashita, S.1
Sawada, H.2
Nagoya, A.3
-
19
-
-
0036907241
-
A new enhanced SPFD rewiring algorithm
-
J. Cong, J. Y. Lin, and W. Long, "A new enhanced SPFD rewiring algorithm," in IEEE/ACM International Conference on Computer-Aided Design, 2002, pp. 672-678.
-
(2002)
IEEE/ACM International Conference on Computer-Aided Design
, pp. 672-678
-
-
Cong, J.1
Lin, J.Y.2
Long, W.3
-
20
-
-
0036385607
-
SPFD-based global rewiring
-
J. Cong, J. Y. Lin, and W. Long, "SPFD-based global rewiring," in International Symposium on FPGAs, 2002, pp. 77-84.
-
(2002)
International Symposium on FPGAs
, pp. 77-84
-
-
Cong, J.1
Lin, J.Y.2
Long, W.3
-
21
-
-
0036917420
-
Topologi-cally constrained logic synthesis
-
S. Sinha, A. Mishchenko, and R. K. Brayton, "Topologi-cally constrained logic synthesis," in IEEE/ACM International Conference on Computer-Aided Design, 2002, pp. 679-686.
-
(2002)
IEEE/ACM International Conference on Computer-Aided Design
, pp. 679-686
-
-
Sinha, S.1
Mishchenko, A.2
Brayton, R.K.3
-
22
-
-
3142538934
-
SPFD-based wire removal in standard-cell and network-of-PLA circuits
-
S. P. Khatri, S. Sinha, R. K. Brayton, and A. Sangiovanni-Vincentelli, "SPFD-based wire removal in standard-cell and network-of-PLA circuits," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 23, no. 7, pp. 1020-1030, 2000.
-
(2000)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
, vol.23
, Issue.7
, pp. 1020-1030
-
-
Khatri, S.P.1
Sinha, S.2
Brayton, R.K.3
Sangiovanni-Vincentelli, A.4
-
23
-
-
33646385935
-
Using simulation and satisfiability to compute flexibilities in boolean networks
-
A. Mishchenko, J. S. Zhang, S. Sinha, J. R. Burch, R. K. Brayton, and M. Chrzanowska-Jeske, "Using simulation and satisfiability to compute flexibilities in boolean networks," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 25, no. 5, pp. 743-755, 2006.
-
(2006)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
, vol.25
, Issue.5
, pp. 743-755
-
-
Mishchenko, A.1
Zhang, J.S.2
Sinha, S.3
Burch, J.R.4
Brayton, R.K.5
Chrzanowska-Jeske, M.6
-
24
-
-
37248999358
-
Automating logic rectification by approximate SPFDs
-
Y.-S. Yang, S. Sinha, A. Veneris, and R. K. Brayton, "Automating logic rectification by approximate SPFDs," in IEEE/ACM Asia South Pacific Design Automation Conference, 2007, pp. 77-84.
-
(2007)
IEEE/ACM Asia South Pacific Design Automation Conference
, pp. 77-84
-
-
Yang, Y.-S.1
Sinha, S.2
Veneris, A.3
Brayton, R.K.4
-
25
-
-
33646431639
-
Comparing two rewiring models
-
S. Sinha, X. Wang, and R. K. Brayton, "Comparing two rewiring models," International workshop on Logic Synthesis, pp. 438-445, 2004.
-
(2004)
International workshop on Logic Synthesis
, pp. 438-445
-
-
Sinha, S.1
Wang, X.2
Brayton, R.K.3
|