THE MODELING EFFICIENCY OF THE CIRCUITS AT DIFFERENT HIERARCHICAL LEVELS OF DESCRIPTION IN CAD
Abstract and keywords
Abstract (English):
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.

Keywords:
Mikroshema, sistema avtomatizirovannogo proektirovaniya (SAPR), urovni opisaniya, verifikaciya sistemnogo urovnya, funkcional'noe modelirovanie, sovmeschennaya apparatno-programmnaya konfiguraciya.
References

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.

Login or Create
* Forgot password?