-
1
-
-
0029271036
-
Test generation for path delay faults using binary decision diagrams
-
Mar.
-
Bhattacharya D., Agrawal P. and Agrawal V.D., Test Generation for Path Delay Faults using Binary Decision Diagrams, IEEE Trans. on Computers, vol. 44, no. 3, Mar. 1995, pp. 434-447.
-
(1995)
IEEE Trans. on Computers
, vol.44
, Issue.3
, pp. 434-447
-
-
Bhattacharya, D.1
Agrawal, P.2
Agrawal, V.D.3
-
2
-
-
0041633858
-
Parameter variations and impact on circuits and microarchitecture
-
June
-
Borkar S., et al., Parameter variations and impact on circuits and microarchitecture, Design Automation Conference, June 2003, pp. 338-342.
-
(2003)
Design Automation Conference
, pp. 338-342
-
-
Borkar, S.1
-
5
-
-
0028734911
-
RESIST: A recursive testPattern generation algorithm for path delay faults considering various test classes
-
Dec.
-
Fuchs K., Pabst M. and Rössel T., RESIST: A Recursive TestPattern Generation Algorithm for Path Delay Faults considering Various Test Classes, IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, vol. 13, no. 12, Dec. 1994, pp. 1550-1561.
-
(1994)
IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems
, vol.13
, Issue.12
, pp. 1550-1561
-
-
Fuchs, K.1
Pabst, M.2
Rössel, T.3
-
8
-
-
0032645988
-
Boolean equivalence checking of combinational circuits using boolean expression diagrams
-
Jul.
-
Hulgaard H., Williams P.F. and Andersen H.R., Boolean Equivalence Checking of Combinational Circuits using Boolean Expression Diagrams, IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, vol. 18, no. 7, Jul. 1999, pp. 903-917.
-
(1999)
IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems
, vol.18
, Issue.7
, pp. 903-917
-
-
Hulgaard, H.1
Williams, P.F.2
Andersen, H.R.3
-
10
-
-
18144416141
-
Efficient identification of non-robustly untestable path delay faults
-
Li Z.C., Brayton R.K., Min Y., Efficient Identification of Non-Robustly Untestable Path Delay Faults, Proc. Internation Test Conference, 1997, pp. 992997.
-
(1997)
Proc. Internation Test Conference
, pp. 992997
-
-
Li, Z.C.1
Brayton, R.K.2
Min, Y.3
-
11
-
-
0032680865
-
Grasp: A search algorithm for propositional satisfiability
-
Marques Silva J.P., Sakallah K.A, Grasp: A search algorithm for propositional satisfiability, IEEE Transactions on Computers, vol. 48, no. 5, pp. 506-521.
-
IEEE Transactions on Computers
, vol.48
, Issue.5
, pp. 506-521
-
-
Marques Silva, J.P.1
Sakallah, K.A.2
-
12
-
-
0027061384
-
Timing analysis and delay fault test generation using path recursive functions
-
McGeer P.C., Saldanha A., Stephan P.R., Brayton R.K and Sangiovanni-Vincentelli A.L., Timing Analysis and Delay Fault Test Generation using Path Recursive Functions, Proc. of International Conference on Computer Aided Design, 1991, pp.180-183.
-
(1991)
Proc. of International Conference on Computer Aided Design
, pp. 180-183
-
-
McGeer, P.C.1
Saldanha, A.2
Stephan, P.R.3
Brayton, R.K.4
Sangiovanni-Vincentelli, A.L.5
-
13
-
-
0036005095
-
ATPG tools for path delay faults at the functional level
-
Michael M., Tragoudas S., ATPG Tools for Path Delay Faults at the Functional Level, ACM Transactions on Design Automation of Electronic Systems, vol. 7, no. 1, pp. 35-37, 2002.
-
(2002)
ACM Transactions on Design Automation of Electronic Systems
, vol.7
, Issue.1
, pp. 35-37
-
-
Michael, M.1
Tragoudas, S.2
-
15
-
-
0034479555
-
Selection of potentially testable path delay faults for test generation
-
Murakami A., Kajihara S., Sasao,T., Pomeranz I., Reddy S.M., Selection of Potentially Testable Path Delay Faults for Test Generation Proc. International Test Conference, 2000, pp. 376-384.
-
(2000)
Proc. International Test Conference
, pp. 376-384
-
-
Murakami, A.1
Kajihara, S.2
Sasao, T.3
Pomeranz, I.4
Reddy, S.M.5
-
18
-
-
3042594915
-
SPACES-ACE: Simulator for path delay faults
-
Feb.
-
Pomeranz I. and Reddy S.M., SPACES-ACE: Simulator for Path Delay Faults, IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, vol. 13, no.2, Feb. 1994, pp. 254-263.
-
(1994)
IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems
, vol.13
, Issue.2
, pp. 254-263
-
-
Pomeranz, I.1
Reddy, S.M.2
-
20
-
-
0034250207
-
IGRAINE - An implication GRaph bAsed engINE for fast implication, justification, and propagation
-
August
-
Tafertshofer P., Ganz A., Antreich K.J., IGRAINE - An Implication GRaph bAsed engINE for Fast Implication, Justification, and Propagation, IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, August 2000.
-
(2000)
IEEE Trans. on Computer-aided Design of Integrated Circuits and Systems
-
-
Tafertshofer, P.1
Ganz, A.2
Antreich, K.J.3
-
21
-
-
0035673745
-
Identification of primitive faults in combinational and sequential circuits
-
December
-
Tekumalla, R.C. and Menon, P.R., Identification of primitive faults in combinational and sequential circuits, IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, vol. 12, no. 12, December 2001, pp. 1426-1442.
-
(2001)
IEEE Trans. on Computer-aided Design of Integrated Circuits and Systems
, vol.12
, Issue.12
, pp. 1426-1442
-
-
Tekumalla, R.C.1
Menon, P.R.2
|