Russian Federation
Rassmotreny principy proektirovaniya mikroshem na razlichnyh urovnyah opisaniya v sistemah avtomatizirovannogo proektirovaniya. Privedeny struktury processov proektirovaniya mikroshem na verhnem urovne i na urovne slozhno-funkcional'nyh blokov. Pokazana shema funkcional'nogo modelirovaniya. Proanalizirovana sovmeschennaya apparatno-programmnaya verifikaciya, ee osobennosti i problemy.
Mikroshema, sistema avtomatizirovannogo proektirovaniya (SAPR), urovni opisaniya, verifikaciya sistemnogo urovnya, funkcional'noe modelirovanie, sovmeschennaya apparatno-programmnaya konfiguraciya.
1. Avtomatizaciya proektirovaniya komplementarnyh mikroshem s uchetom odinochnyh / I.P. Potapov, V.M. Antimirov, Yu.K. Fortinskiy, K.I. Tapero. – Voronezh, 2007. – 121 s.
2. Slinkin, D. I. Analiz sovremennyh metodov testirovaniya i verifikacii proektov sverhbol'shih integral'nyh shem / D. I. Slinkin // Programmnye produkty i sistemy. – 2017. – № 3. – S. 401-408.
3. Sostoyanie razrabotok elementnoy bazy dlya sistem svyazi i upravleniya / V.K. Zol'nikov, A.Yu. Kulay, V.P. Kryukov, S.A. Evdokimova // Modelirovanie sistem i processov. – 2016. – T. 9, № 4. –S. 11-13.
4. Opredelenie veroyatnosti bezotkaznoy raboty pri strukturnoy optimizacii elementov slozhnyh funkcional'nyh blokov v SAPR / V.A. Smerek, K.V. Zol'nikov, A.I. Yan'kov, M.V. Konarev, N.A. Orlikovskiy, A.V. Achkasov // Modelirovanie sistem i processov. – 2013. – № 3. – S. 35-37.
5. Sredstva funkcional'noy verifikacii mikroprocessorov / A.S. Kamkin, A.M. Kocynyak, S.A. Smolov, A.D. Tatarnikov, M.M. Chupilko, A.A. Sortov // Trudy Instituta sistemnogo programmirovaniya RAN. – 2014. – T. 26, № 1. – S. 149-200.
6. Sklyar, V. A. Sovmeschennaya apparatno-programmnaya verifikaciya mikroshem / V.A. Sklyar, K.V. Zol'nikov, I.V. Nagornyy // Modelirovanie sistem i processov. – 2012. – № 2. – S. 63-65.
7. Kryukov, V. P. Problemy modelirovaniya bazovyh elementov KMOP BIS dvoynogo naznacheniya v SAPR / V.P. Kryukov, K.V. Zol'nikov, S.A. Evdokimova // Modelirovanie sistem i processov. – 2013. – № 4. – S. 41-44.
8. Zol'nikov, V.K. Metodika proektirovaniya radiacionno-stoykih integral'nyh shem / V.K. Zol'nikov, V.N. Achkasov, V.P. Kryukov // Voprosy atomnoy nauki i tehniki. Seriya: Fizika radiacionnogo vozdeystviya na radioelektronnuyu apparaturu. – 2004. – № 1-2. – S. 57-60.
9. Sozdanie podsistemy verifikacii slozhnyh cifrovyh mikroshem s uchetom radiacionnogo vozdeystviya / Fortinskiy Yu.K., Zol'nikov V.K., Konarev M.V. – Voronezh, 2011. – 208 c.
