Implementation of Simulated Annealing Strategies for the Initialization Sequences Construction of Digital Circuits
Abstract
Keywords
Full Text:
PDFReferences
С. Pixley, S. Jeong, G. Hatchel, “Exact Calculation of Synchronization Sequences based on Binary Decision Diagrams”, IEEE Trans. on CAD, Vol.13, pp.1024-1034, 1994.
J.-K. Rho, F. Somenzi, C. Pixley, “Minimum Length Synchronizing Sequences of Finite State Mashine”, Proc. ACM Design Automation Conf., 1993, pp.463-468.
J.A. Wehbeh, D.G. Saab, “Initialization of Sequential Circuits and its Application to ATPG,”, Proc. IEEE VLSI Test Symp., 1996, pp. 246-251.
R.E. Bryant “Symbolic Boolean Manipulatuion with Ordered Binary Decision Diagrams”, ACM Computing Surveys, Vol.24, Nr 3, 1992, pp. 293-318.
M. Keim, B. Becker, B. Stenner, “On the (Non-)Resettability of Synchronous Sequential Circuits,” Proc. IEEE VLSI Test Symp., 1996, pp. 240-245.
P. Camurati, F. Corno, P. Prinetto, M. Sonza Reorda, “A simulation-based approach yo test pattern generation for synchronous circuits”, Proc. IEEE VLSI Test Symposium, 1992, pp.263-267.
V.D. Agrawal, K.-T. Cheng, P. Agrawal, “CONTEST: A concurrent Test Generator for Sequential Circuits”, Proc. 25-th Design Automation Conference, 1988, pp.84-89.
P. Prinetto, M. Rebaudengo, M. Sonza Reorda, "An Automatic Test Pattern Generator for Large Sequential Circuits based on Genetic Algorithms" In Proc. Int. Test Conf., 1994, pp. 240-249.
E.A Ivanov, YA Ckobtsov, A.I EL-Khatib, “The construction of initialization sequences for synchronous digital circuits using genetic algorithms. The problems of information technologies”. -2007. – N° pp. 158-1. -164.
AC Barashkov, YA Skobtsov, DV Speransky. "Modeling and testing of discrete devices.” – Kiev: Scientific, 1992. – Pp.288.
N. Metropolis, A.W. Rosenbluth, M.N. Rosenbluth, A.H. Teller, E. Teller, “Equation of State Calculation by Fast Computing Mashines”, J. of Chem.Phys., Vol.21, No.6, pp.1087-1092, 1953.
S. Kirkpatrick, C.D. Gelatt, M.P. Vecchi, “Optimization by simulating annealing”, Science, 220, pp.671-680, 1983.
Y.A Ckobtsov. "The principles of calculating the evolution." - Donetsk: DonNTU, 2008. - Pp.326.
E.A Ivanov, Y.A Ckobtsov. "System modeling and test generation of digital circuits / / Research Center Donetsk National Technical University-series"technical computing and automation," Issue 12. - Donetsk. - 1999. - Pp.143-150.
Refbacks
- There are currently no refbacks.