-
3
-
-
0024088464
-
-
7, pp. 1081-1093, Oct. 1988.
-
H.-K. T. Ma. Devadas, A. R. Newton, and A. Sangiovanni-Vincentelli, Test generation for sequential circuits, IEEE Trans. Computer-Aided Design, vol. 7, pp. 1081-1093, Oct. 1988.
-
. Devadas, A. R. Newton, and A. Sangiovanni-Vincentelli, Test Generation for Sequential Circuits, IEEE Trans. Computer-Aided Design, Vol.
-
-
Ma, H.-K.T.1
-
5
-
-
0024902645
-
-
1989, pp. 362-365.
-
A. Ghosh. Devadas, and A. R. Newton, Test generation for highly sequential circuits, in Proc. Int. Conf. Computer-Aided Design, Nov. 1989, pp. 362-365.
-
. Devadas, and A. R. Newton, Test Generation for Highly Sequential Circuits, in Proc. Int. Conf. Computer-Aided Design, Nov.
-
-
Ghosh, A.1
-
8
-
-
33747020799
-
-
11, pp. 459-465, Aug. 1962.
-
S. Seshu and D. N. FreemanThe diagnosis of asynchronous sequential switching systems, IRE Trans. Electron. Comput., vol. EC-11, pp. 459-465, Aug. 1962.
-
The Diagnosis of Asynchronous Sequential Switching Systems, IRE Trans. Electron. Comput., Vol. EC
-
-
Seshu, S.1
Freeman, D.N.2
-
10
-
-
0016535251
-
-
24, pp. 695-700, July 1975.
-
H. D. Schnurmann. Lindbloom, and R. G. Carpenter, The weighted random test-pattern generator, IEEE Trans. Comput., vol. C-24, pp. 695-700, July 1975.
-
. Lindbloom, and R. G. Carpenter, The Weighted Random Test-pattern Generator, IEEE Trans. Comput., Vol. C
-
-
Schnurmann, H.D.1
-
11
-
-
0348022769
-
-
6, pp. 1082-1087, Nov. 1987.
-
R. Lisanke. Brglez, A. J. Degeus, and D. Gregory, Testability-driven random test-pattern generation, IEEE Trans. Computer-Aided Design, vol. 6, pp. 1082-1087, Nov. 1987.
-
. Brglez, A. J. Degeus, and D. Gregory, Testability-driven Random Test-pattern Generation, IEEE Trans. Computer-Aided Design, Vol.
-
-
Lisanke, R.1
-
14
-
-
0024610491
-
-
8, pp. 131-138, Feb. 1989.
-
V. D. Agrawal. T. Cheng, and P. Agrawal, A directed search method for test generation using a concurrent simulator, IEEE Trans. Computer-Aided Design, vol. 8, pp. 131-138, Feb. 1989.
-
. T. Cheng, and P. Agrawal, A Directed Search Method for Test Generation Using A Concurrent Simulator, IEEE Trans. Computer-Aided Design, Vol.
-
-
Agrawal, V.D.1
-
15
-
-
0026992434
-
-
1992, pp. 216-219.
-
D. G. Saab. G. Saab, and J. A. Abraham, CRIS: A test cultivation program for sequential VLSI circuits, in Proc. Int. Conf. Computer-Aided Design, Nov. 1992, pp. 216-219.
-
. G. Saab, and J. A. Abraham, CRIS: A Test Cultivation Program for Sequential VLSI Circuits, in Proc. Int. Conf. Computer-Aided Design, Nov.
-
-
Saab, D.G.1
-
17
-
-
0030263862
-
-
15, pp. 1278-1285, Oct. 1996.
-
D. G. Saab. G. Saab, and J. A. Abraham, Automatic test vector cultivation for sequential VLSI circuits using genetic algorithms, IEEE Trans. Computer-Aided Design, vol. 15, pp. 1278-1285, Oct. 1996.
-
. G. Saab, and J. A. Abraham, Automatic Test Vector Cultivation for Sequential VLSI Circuits Using Genetic Algorithms, IEEE Trans. Computer-Aided Design, Vol.
-
-
Saab, D.G.1
-
18
-
-
33747778907
-
-
1994, pp. 240-249.
-
P. Prinetto. Rebaudengo, and M. Sonza Reorda, An automatic test pattern generator for large sequential circuits based on genetic algorithms, in Proc. Int. Test Conf., Oct. 1994, pp. 240-249.
-
. Rebaudengo, and M. Sonza Reorda, An Automatic Test Pattern Generator for Large Sequential Circuits Based on Genetic Algorithms, in Proc. Int. Test Conf., Oct.
-
-
Prinetto, P.1
-
19
-
-
0030215849
-
-
15, pp. 991-1000, Aug. 1996.
-
F. Corno. Prinetto, M. Rebaudengo, and M. Sonza Reorda, GATTO: A genetic algorithm for automatic test pattern generation for large synchronous sequential circuits, IEEE Trans. Computer-Aided Design, vol. 15, pp. 991-1000, Aug. 1996.
-
. Prinetto, M. Rebaudengo, and M. Sonza Reorda, GATTO: A Genetic Algorithm for Automatic Test Pattern Generation for Large Synchronous Sequential Circuits, IEEE Trans. Computer-Aided Design, Vol.
-
-
Corno, F.1
-
21
-
-
0028098538
-
-
1994, pp. 40-45.
-
E. M. Rudnick. G. Holm, D. G. Saab, and J. H. Patel, Application of simple genetic algorithms to sequential circuit test generation, in Proc. European Design and Test Conf., Feb. 1994, pp. 40-45.
-
. G. Holm, D. G. Saab, and J. H. Patel, Application of Simple Genetic Algorithms to Sequential Circuit Test Generation, in Proc. European Design and Test Conf., Feb.
-
-
Rudnick, E.M.1
-
22
-
-
0028604622
-
-
1994, pp. 698-704.
-
E. M. Rudnick. H. Patel, G. S. Greenstein, and T. M. Niermann, Sequential circuit test generation in a genetic algorithm framework, in Proc. Design Automation Conf., June 1994, pp. 698-704.
-
. H. Patel, G. S. Greenstein, and T. M. Niermann, Sequential Circuit Test Generation in A Genetic Algorithm Framework, in Proc. Design Automation Conf., June
-
-
Rudnick, E.M.1
-
23
-
-
33747795851
-
-
10 combinational benchmark circuits and a target translator in Fortran, in Proc. Int. Symp. Circuits Syst., June 1985.
-
F. Brglez and H. FujiwaraA neutral netlist of 10 combinational benchmark circuits and a target translator in Fortran, in Proc. Int. Symp. Circuits Syst., June 1985.
-
A Neutral Netlist of
-
-
Brglez, F.1
Fujiwara, H.2
-
24
-
-
0024913805
-
-
1989, pp. 1929-1934.
-
F. Brglez. Bryan, and K. Kozminski, Combinational profiles of sequential benchmark circuits, in Proc. Int. Symp. Circuits Syst., May 1989, pp. 1929-1934.
-
. Bryan, and K. Kozminski, Combinational Profiles of Sequential Benchmark Circuits, in Proc. Int. Symp. Circuits Syst., May
-
-
Brglez, F.1
-
25
-
-
0004074624
-
-
90001, Illinois Genetic Algorithms Lab., Dept. eneral Eng., Univ. Illinois, Urbana, 1990.
-
D. E. GoldbergReal-coded genetic algorithms, virtual alphabets, and blocking, IlliGAL Rep. 90001, Illinois Genetic Algorithms Lab., Dept. eneral Eng., Univ. Illinois, Urbana, 1990.
-
Real-coded Genetic Algorithms, Virtual Alphabets, and Blocking, IlliGAL Rep.
-
-
Goldberg, D.E.1
-
26
-
-
33747773263
-
-
1993, pp. 187-202.
-
L. J. Eshelman and J. D. SchafferReal-coded genetic algorithms and interval-schemata, in Foundations of Genetic Algorithms, L. D. Whitley, Ed. San Mateo, CA: Morgan Kaufmann, 1993, pp. 187-202.
-
Real-coded Genetic Algorithms and Interval-schemata, in Foundations of Genetic Algorithms, L. D. Whitley, Ed. San Mateo, CA: Morgan Kaufmann
-
-
Eshelman, L.J.1
Schaffer, J.D.2
-
28
-
-
33747767794
-
-
1993, pp. 19-28.
-
K. A. De Jong and J. SarmaGeneration gaps revisited, in Foundations of Genetic Algorithms, L. D. Whitley, Ed. San Mateo, CA: Morgan Kaufmann, 1993, pp. 19-28.
-
Generation Gaps Revisited, in Foundations of Genetic Algorithms, L. D. Whitley, Ed. San Mateo, CA: Morgan Kaufmann
-
-
De Jong, K.A.1
Sarma, J.2
-
29
-
-
0003995373
-
-
1991, pp. 69-93.
-
D. E. Goldberg and K. DebA comparative analysis of selection schemes used in genetic algorithms, in Foundations of Genetic Algorithms, G. Rawlins, Ed. San Mateo, CA: Morgan Kaufmann, 1991, pp. 69-93.
-
A Comparative Analysis of Selection Schemes Used in Genetic Algorithms, in Foundations of Genetic Algorithms, G. Rawlins, Ed. San Mateo, CA: Morgan Kaufmann
-
-
Goldberg, D.E.1
Deb, K.2
-
31
-
-
0026819183
-
-
11, pp. 198-207, Feb. 1992.
-
T. M. Niermann.-T. Cheng, and J. H. Patel, PROOFS: A fast, memory-efficient sequential circuit fault simulator, IEEE Trans. Computer-Aided Design, vol. 11, pp. 198-207, Feb. 1992.
-
.-T. Cheng, and J. H. Patel, PROOFS: A Fast, Memory-efficient Sequential Circuit Fault Simulator, IEEE Trans. Computer-Aided Design, Vol.
-
-
Niermann, T.M.1
-
32
-
-
0025481029
-
-
1990, pp. 44-51.
-
J. A. Waicukauski. A. Shupe, D. J. Giramma, and A. Matin, ATPG for ultra-large structured designs, in Proc. Int. Test Conf., Sept. 1990, pp. 44-51.
-
. A. Shupe, D. J. Giramma, and A. Matin, ATPG for Ultra-large Structured Designs, in Proc. Int. Test Conf., Sept.
-
-
Waicukauski, J.A.1
-
33
-
-
0026618720
-
-
1991, pp. 194-203.
-
I. Pomeranz. N. Reddy, and S. M. Reddy, COMPACTEST: A method to generate compact test sets for combinational circuits, in Proc. Int. Test Conf., Oct. 1991, pp. 194-203.
-
. N. Reddy, and S. M. Reddy, COMPACTEST: A Method to Generate Compact Test Sets for Combinational Circuits, in Proc. Int. Test Conf., Oct.
-
-
Pomeranz, I.1
-
34
-
-
33747803518
-
-
91-8, Coordinated Sci. Lab., Univ. Illinois, Urbana-Champaign, Mar. 1991.
-
T. M. NiermannTechniques for sequential circuit automatic test generation, Tech. Rep. CRHC-91-8, Coordinated Sci. Lab., Univ. Illinois, Urbana-Champaign, Mar. 1991.
-
Techniques for Sequential Circuit Automatic Test Generation, Tech. Rep. CRHC
-
-
Niermann, T.M.1
-
35
-
-
33747788606
-
-
2910, a complete 12-bit microprogram sequence controller, in AMD Data Book. Sunnyvale, CA: AMD Inc., 1978.
-
Advanced Micro DevicesThe AM2910, a complete 12-bit microprogram sequence controller, in AMD Data Book. Sunnyvale, CA: AMD Inc., 1978.
-
The AM
-
-
Devices, A.M.1
-
36
-
-
0028706754
-
-
1994, pp. 40-43.
-
D. G. Saab. G. Saab, and J. A. Abraham, Iterative [simulation-based genetics + deterministic techniques] = complete ATPG, in Proc. Int. Conf. Computer-Aided Design, Nov. 1994, pp. 40-43.
-
. G. Saab, and J. A. Abraham, Iterative [Simulation-based Genetics + Deterministic Techniques] = Complete ATPG, in Proc. Int. Conf. Computer-Aided Design, Nov.
-
-
Saab, D.G.1
-
38
-
-
85030111960
-
-
1996, pp. 368-374.
-
M. S. Hsiao. M. Rudnick, and J. H. Patel, Alternating strategies for sequential circuit ATPG, in Proc. European Design and Test Conf., Mar. 1996, pp. 368-374.
-
. M. Rudnick, and J. H. Patel, Alternating Strategies for Sequential Circuit ATPG, in Proc. European Design and Test Conf., Mar.
-
-
Hsiao, M.S.1
-
41
-
-
0029223563
-
-
1995, pp. 29-34.
-
F. Corno. Prinetto, M. Rebaudengo, M. Sonza Reorda, and E. Veiluva, A portable ATPG tool for parallel and distributed systems, in Proc. IEEE VLSI Test Symp., Apr. 1995, pp. 29-34.
-
. Prinetto, M. Rebaudengo, M. Sonza Reorda, and E. Veiluva, A Portable ATPG Tool for Parallel and Distributed Systems, in Proc. IEEE VLSI Test Symp., Apr.
-
-
Corno, F.1
-
42
-
-
0030838136
-
-
1997, pp. 475-481.
-
D. Krishnaswamy. S. Hsiao, V. Saxena, E. M. Rudnick, J. H. Patel, and P. Banerjee, Parallel genetic algorithms for simulation-based sequential circuit test generation, in Proc. Int. Conf. VLSI Design, Jan. 1997, pp. 475-481.
-
. S. Hsiao, V. Saxena, E. M. Rudnick, J. H. Patel, and P. Banerjee, Parallel Genetic Algorithms for Simulation-based Sequential Circuit Test Generation, in Proc. Int. Conf. VLSI Design, Jan.
-
-
Krishnaswamy, D.1
|