Geodesic
Tools and technologies
News of the Kabardin-Balkar scientific center of RAS, no. 5 (2013), pp. 17-21 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

Virtual prototyping – a modern approach to the development of new products, representing the innovative technologies of recreating a virtual image of the product to create competitive products. The paper considers the use of tools and technologies for the virtual prototyping of VLSI verification. Effectiveness of verification means is determined by how quickly they can achieve full functional test of the project. The best way to improve the efficiency of verification - the integration of advanced technologies in an integrated methodology is determined.
Keywords: virtual prototyping, design engineering, decision-making.
Mots-clés : verification of VLSI 
@article{IZKAB_2013_5_a2,
     author = {A. A. Lezhebokov and V. V. Bova and H. M. Shugushkhov},
     title = {Tools and technologies},
     journal = {News of the Kabardin-Balkar scientific center of RAS},
     pages = {17--21},
     year = {2013},
     number = {5},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IZKAB_2013_5_a2/}
}
TY  - JOUR
AU  - A. A. Lezhebokov
AU  - V. V. Bova
AU  - H. M. Shugushkhov
TI  - Tools and technologies
JO  - News of the Kabardin-Balkar scientific center of RAS
PY  - 2013
SP  - 17
EP  - 21
IS  - 5
UR  - http://geodesic.mathdoc.fr/item/IZKAB_2013_5_a2/
LA  - ru
ID  - IZKAB_2013_5_a2
ER  - 
%0 Journal Article
%A A. A. Lezhebokov
%A V. V. Bova
%A H. M. Shugushkhov
%T Tools and technologies
%J News of the Kabardin-Balkar scientific center of RAS
%D 2013
%P 17-21
%N 5
%U http://geodesic.mathdoc.fr/item/IZKAB_2013_5_a2/
%G ru
%F IZKAB_2013_5_a2
A. A. Lezhebokov; V. V. Bova; H. M. Shugushkhov. Tools and technologies. News of the Kabardin-Balkar scientific center of RAS, no. 5 (2013), pp. 17-21. http://geodesic.mathdoc.fr/item/IZKAB_2013_5_a2/

[1] M. M. Oshkhunov, Z. V. Nagoev, Matematicheskie modeli deformiruemykh sred dlya intellektualnykh sistem virtualnogo prototipirovaniya, Izdatelstvo KBNTs RAN, 2013, 196 pp.

[2] V. Kravchenko, D. Radchenko, “Virtualnoe prototipirovanie dlya apparatnoprogrammnoi verifikatsii SBIS”, ELEKTRONIKA: Nauka, Tekhnologiya, Biznes, 2003, no. 7, 34–37

[3] V. V. Kureichik, D. Yu. Zaporozhets, “Sovremennye problemy pri razmeschenii elementov SBIS”, Izvestiya Yuzhnogo federalnogo universiteta. Tekhnicheskie nauki, 120:7 (2011), 68–73

[4] A. A. Lezhebokov, L. A. Gladkov, “Rezultaty kompyuternogo modelirovaniya resheniya zadachi razmescheniya elementov SBIS s uchetom vremennykh zaderzhek”, III Vserossiiskaya nauchno-tekhnicheskaya konferentsiya «Problemy razrabotki perspektivnykh mikro- i nanoelektronnykh sistem - 2008», MES-2008, IPPM RAN, M., 2008, 130–136

[5] Yu. A. Kravchenko, “Metod sozdaniya matematicheskikh modelei prinyatiya reshenii v mnogoagentnykh podsistemakh”, Izvestiya Yuzhnogo federalnogo universiteta. Tekhnicheskie nauki, 120:7 (2011), 141–145

[6] Z. V. Nagoev, “Ontoneiromorfogeneticheskoe modelirovanie”, Izvestiya KBNTs RAN, 2013, no. 3

[7] V. V. Kureichik, V. M. Kureichik, S. M. Kovalev, “Optonechetkie sistemy”, Izvestiya Yuzhnogo federalnogo universiteta. Tekhnicheskie nauki, 93:4 (2009), 99–106

[8] Yu. A. Kravchenko, “Primenenie metoda analiza ierarkhii v algoritme prinyatiya reshenii s uchetom ryada parametrov adaptatsii”, Izvestiya Yuzhnogo federalnogo universiteta. Tekhnicheskie nauki, 132:7 (2012), 247–252