The necessity of mathematical modeling with uncertainty for processes and systems in microelectronics is discussed. In such modeling, in fact, evolution of attainable sets of the systems is considered. The cost of such transition to simulation with uncertainty is the increase in mathematics complexity under use. Two examples are considered: etching and deposition simulation; logic simulation for digital circuits.
Keywords: mathematical modeling, uncertainty, reachability set, microelectronics, digital circuits.
References
- Blavatskih B.I. O vypuklosti sfer dostizhimosti // Differencial’nye uravnenija. 1972. T. 8, № 12. S. 2149.
- Glebov A.L. [i dr.] Modelirovanie nekotoryh processov travlenija i osazhdenija. Pakety prikladnyh programm. Matematicheskoe modelirovanie / A.L. Glebov, V.A. Komarov, A.N. Kononov. M.: Nauka, 1989.
- Glebov A.L. [i dr.] Modelirovanie cifrovyh KMOP shem s ispol’zovaniem diagramm troichnyh reshenij i logicheskih implikacij / A.L. Glebov, I.A. Lipatov, I.V. Tiunov // Mezhdisciplinarnye issledovanija v oblasti matematicheskogo modelirovanija i informatiki: Mat-ly 6-j nauchno-prakticheskoj konferencii. Ul’janovsk. 2015.
- Li Je.B., Markus L. Osnovy teorii optimal- ’nogo upravlenija. M.: Nauka, 1972. 574 s.
- Prigozhin I. Filosofija nestabil’nosti // Voprosy filosofii. 1991. № 6. S. 46—52.
- Filippov A.L. Differencial’nye uravnenija s razryvnoj pravoj chast’ju. M.: Nauka, 1985. 224 s.
- Formal’skij A.M. Ob uslovnyh tochkah granic oblastej dostizhimosti // Prikladnaja matematika i mehanika. 1983. T. 47, № 4. S. 566.
- Aubin J.-P., Cellina A. Differential inclusions. Setvalued maps and viability theory. Berlin: Springer, 1984.
- Bryant. R.E. Graph-based algorithms for Boolean function manipulation // IEEE Trans. on Computers. 1986. V. 35.
- Hendrmes H. The geometry of time-optimal control // SIAM J. Contr. and Optimiz. 1972. V. 10. № 2. P. 221.
- Jennings G. Symbolic Incompletely Specified Functions for Correct Evaluation in the Presence of Indeterminate Input Values // Proc. of 28th Annual Hawaii Int. Conf. on System Sciences. 1995.
- Kleene S.C. Introduction to Methamatematics // Amsterdam: North-Holland Publishing Co. 1952.
- Smith. R. [et al.] Deterministic models of ion erosion, reflection an d reproduction / R. Smith, M.A. Tagg, J.M. Walls // Vacuum. 1984. V. 34. P. 175.
- Nojrejter Je.R. Modelirovanie processov izgotovlenija IS i topograficheskoe proektirovanie // TIIJeR. 1983. T. 71. S. 149.