Метод параллельной генерации тестов на переключательном уровне для МОП-схем
Рассмотрен параллельный метод генерации тестов на переключательном уровне. Представлены экспериментальные результаты исследований эффективности предложенного метода для схем списка Iscas-89. Розлянуто паралельний метод генерації тестів на перемикальному рівні. Наведено експериментальні результати еф...
Saved in:
| Published in: | Электронное моделирование |
|---|---|
| Date: | 2011 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2011
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/61731 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Метод параллельной генерации тестов на переключательном уровне для МОП-схем / А.И. Андрюхин // Электронное моделирование. — 2011 — Т. 33, № 1. — С. 91-98. — Бібліогр.: 13 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1860125220194484224 |
|---|---|
| author | Андрюхин, А.И. |
| author_facet | Андрюхин, А.И. |
| citation_txt | Метод параллельной генерации тестов на переключательном уровне для МОП-схем / А.И. Андрюхин // Электронное моделирование. — 2011 — Т. 33, № 1. — С. 91-98. — Бібліогр.: 13 назв. — рос. |
| collection | DSpace DC |
| container_title | Электронное моделирование |
| description | Рассмотрен параллельный метод генерации тестов на переключательном уровне. Представлены экспериментальные результаты исследований эффективности предложенного метода для схем списка Iscas-89.
Розлянуто паралельний метод генерації тестів на перемикальному рівні. Наведено експериментальні результати ефективності досліджень запропонованого методу для схем списку Iscas-89.
À method for pseudo-random test generation on switch level is described. Experimental results of investigation on Iscas-89 circuits are presented to demonstrate the effectiveness of the proposed method.
|
| first_indexed | 2025-12-07T17:41:16Z |
| format | Article |
| fulltext |
ÓÄÊ 004.051-054
À. È. Àíäðþõèí, êàíä. òåõí. íàóê
Äîíåöêèé íàöèîíàëüíûé òåõíè÷åñêèé óíèâåðñèòåò
(Óêðàèíà, 83005, Äîíåöê, óë. Àðòåìà, 24,
òåë. (062) 301-07-57, E-mail: alexandruckin@rambler.ru)
Ìåòîä ïàðàëëåëüíîé ãåíåðàöèè òåñòîâ
íà ïåðåêëþ÷àòåëüíîì óðîâíå äëÿ ÌÎÏ-ñõåì
Ðàññìîòðåí ïàðàëëåëüíûé ìåòîä ãåíåðàöèè òåñòîâ íà ïåðåêëþ÷àòåëüíîì óðîâíå. Ïðåä-
ñòàâëåíû ýêñïåðèìåíòàëüíûå ðåçóëüòàòû èññëåäîâàíèé ýôôåêòèâíîñòè ïðåäëîæåííîãî
ìåòîäà äëÿ ñõåì ñïèñêà Iscas-89.
Ðîçëÿíóòî ïàðàëåëüíèé ìåòîä ãåíåðàö³¿ òåñò³â íà ïåðåìèêàëüíîìó ð³âí³. Íàâåäåíî åêñïå-
ðèìåíòàëüí³ ðåçóëüòàòè åôåêòèâíîñò³ äîñë³äæåíü çàïðîïîíîâàíîãî ìåòîäó äëÿ ñõåì ñïèñ-
êó Iscas-89.
Ê ë þ ÷ å â û å ñ ë î â à: ïàðàëëåëüíàÿ ãåíåðàöèÿ, òåñò ïåðåêëþ÷àòåëüíûé, öèôðîâîå
ìîäåëèðîâàíèå.
Òåñòèðîâàíèå ñîâðåìåííûõ ÑÁÈÑ, âûïîëíåííûõ ïî ÌÎÏ è ÊÌÎÏ,
ÁèÊÌÎÏ òåõíîëîãèÿì, â ñâÿçè ñ áûñòðûì âîçðàñòàíèåì ñòåïåíè èíòå-
ãðàöèè, ðàáî÷åé ÷àñòîòû è àðõèòåêòóðíîé ñëîæíîñòè ÿâëÿåòñÿ áîëåå òðó-
äîåìêîé è çàòðàòíîé îïåðàöèåé, ÷åì òåñòèðîâàíèå ñõåì, èçãîòîâëåííûõ
ïî òåõíîëîãèè ýìèòòåðíî-ñâÿçàííîé èëè òðàíçèñòîðíî-òðàíçèñòîðíîé ëî-
ãèêè. Èñïîëüçîâàíèå èçâåñòíîé ìîäåëè êîíñòàíòíûõ íåèñïðàâíîñòåé äëÿ
âåíòèëüíîãî ïðåäñòàâëåíèÿ ÌÎÏ-ñõåìû íå ïîçâîëÿåò îïèñûâàòü ðåàëü-
íûå ôèçè÷åñêèå äåôåêòû.
Ïðåäëîæåíî ìíîæåñòâî ïóòåé ðåøåíèÿ ýòîé çàäà÷è: ðàçëè÷íûå ðàñ-
øèðåíèÿ âåíòèëüíîãî ïîäõîäà, ïåðåõîä íà òðàíçèñòîðíûé óðîâåíü, òîêî-
âûå ìîäåëè IDDQ (direct drain quiescent current) è äð. [1—3]. Ïðèìåíåíèå
ïåðåêëþ÷àòåëüíûõ ìîäåëåé — íàèáîëåå èçâåñòíûé è ðàäèêàëüíûé ïóòü
îáåñïå÷åíèÿ åäèíîãî ïîäõîäà ê ìîäåëèðîâàíèþ ðàçëè÷íûõ íåèñïðàâíîñ-
òåé ñõåì, èçãîòîâëåííûõ ñîãëàñíî ðàçëè÷íûì íàïðàâëåíèÿì ÌÎÏ-òåõíî-
ëîãèé [4—7]. Â ýòèõ ìîäåëÿõ èñïîëüçóåòñÿ ïðåäñòàâëåíèå óñòðîéñòâà íà
òðàíçèñòîðíîì óðîâíå è ó÷èòûâàþòñÿ êîíêðåòíûå îñîáåííîñòè ÌÎÏ-ñõåì ñ
ó÷åòîì èõ òîïîëîãè÷åñêîé ñòðóêòóðû.
ISSN 0204–3572. Ýëåêòðîí. ìîäåëèðîâàíèå. 2011. Ò. 33. ¹ 1 91
ÒÎ×ÍÎÑÒÜ,
ÍÀÄÅÆÍÎÑÒÜ, ÄÈÀÃÍÎÑÒÈÊÀ
Ïîñòàíîâêà çàäà÷è. Çàìûêàíèÿ (îáðûâû) ìåæäó ñëîÿìè ìåòàëëèçà-
öèè, ìåæäó îáëàñòÿìè äèôôóçèè, ìåæäó ñëîÿìè ìåòàëëèçàöèè è ïîäëîæ-
êîé è äðóãèå ðåàëüíûå äåôåêòû ÌÎÏ-ñõåì îòîáðàæàþòñÿ òðåìÿ êëàññàìè
íåèñïðàâíîñòåé (ìîäåëÿìè äåôåêòîâ): SA (stuck-at), SOP (stuck-open) è
SON (stuck-on). Ýòî ñîîòâåòñòâóåò ìîäåëÿì êîíñòàíòíûõ íåèñïðàâíîñòåé,
óñòîé÷èâûõ îáðûâîâ òðàíçèñòîðîâ è óñòîé÷èâûõ çàìûêàíèé òðàíçèñòîðîâ
[1]. Èçâåñòíî, ÷òî îáðûâû (çàìûêàíèÿ) òðàíçèñòîðîâ ìîãóò ïåðåâåñòè
óñòðîéñòâî èç êëàññà êîìáèíàöèîííûõ ñõåì â êëàññ ïîñëåäîâàòåëüíîñò-
íûõ ñõåì. Íà âåíòèëüíîì óðîâíå ìîäåëèðîâàòü ýòè äåôåêòû íåâîçìîæíî
èëè ÷ðåçâû÷àéíî òðóäíî [1, 3].
Íà ðèñ. 1 ïðåäñòàâëåíû ñõåìû îáíàðóæåíèÿ SOP- è SON-íåèñïðàâ-
íîñòåé âåíòèëÿ ÈËÈ-ÍÅ. Äëÿ îáíàðóæåíèÿ SON-íåèñïðàâíîñòåé òðåáóåò-
ñÿ èñïîëüçîâàíèå ìåòîäà IDDQ, ò.å. èçìåðåíèå òîêà, çíà÷åíèÿ âõîä-âûõîä-
íûõ ðåàêöèé óêàçàíû äëÿ èñïðàâíîé è íåèñïðàâíîé ñõåì.
Íà ðèñ. 2 ïðåäñòàâëåíû ïóòü òîêà ïðè íàëè÷èè íåèñïðàâíîñòè è ñèëà
òîêà íà âûõîäå äëÿ èñïðàâíîé è íåèñïðàâíîé ñõåì ïðè ïðèìåíåíèè ìåòîäà
IDDQ. Êàê ïîêàçàëè ðåçóëüòàòû èññëåäîâàíèé, ñóùåñòâóþò ãðàíèöû èñ-
ïîëüçîâàíèÿ IDDQ òåñòèðîâàíèÿ. Ïðè ñóáìèêðîííûõ òåõíîëîãèÿõ óâåëè-
÷èâàþòñÿ òîêè óòå÷êè è òðóäíåå îïðåäåëèòü ïîðîãîâûå çíà÷åíèÿ IDDQ
äëÿ ðàçäåëåíèÿ èñïðàâíûõ è íåèñïðàâíûõ ÷èïîâ. Ìåòîä IDDQ ýôôåê-
òèâåí, êîãäà ñðåäíèé òîê â ñõåìå ñ íåèñïðàâíîñòüþ áîëüøå, ÷åì òîê â
èñïðàâíîì óñòðîéñòâå.
À. È. Àíäðþõèí
92 ISSN 0204–3572. Electronic Modeling. 2011. V. 33. ¹ 1
10
01
0
0Z
X
B
00 Âûõîä
Âûõîä
Èñïðàâíàÿ
Èñïðàâíàÿ
Íåèñïðàâíàÿ
Íåèñïðàâíàÿ
1
A
0
a á
Ðèñ 1. Ñõåìû îáíàðóæåíèÿ SOP-íåèñïðàâíîñòè (à) è SON-íåèñïðàâíîñòè (á) âåíòèëÿ
ÈËÈ–ÍÅ: ÀÂ — ïóòü òîêà ïðè èñïîëüçîâàíèè ìåòîäà IDDQ
Ìåòîäû äèàãíîñòèðîâàíèÿ, â êîòîðûõ èñïîëüçóþòñÿ òîêîâûå ìîäåëè,
èìåþò òàêèå îñîáåííîñòè:
1) âñëåäñòâèå ðàçáðîñà ïðîâîäèìîñòåé òðàíçèñòîðîâ òî÷íîñòü îïðå-
äåëÿåòñÿ ñëîæíîñòüþ êðèñòàëëà;
2) òîêîâûå èñïûòàíèÿ ìîæíî ïðîâîäèòü òîëüêî íà íèçêîé ÷àñòîòå;
3) áîëåå ïðîñòîå ïîñòðîåíèå òåñòîâ, òàê êàê íå òðåáóåòñÿ ñòðîèòü
÷óâñòâèòåëüíûé ïóòü îò ìåñòà íåèñïðàâíîñòè äî âûõîäà ñõåìû.
Ìîäåëèðîâàíèå íåèñïðàâíîñòåé ÿâëÿåòñÿ îñíîâíûì èíñòðóìåíòîì
ïðè ïîñòðîåíèè êîíòðîëüíûõ (ïðîâåðî÷íûõ) è äèàãíîñòè÷åñêèõ òåñòîâ
äëÿ öèôðîâûõ ñèñòåì. Íåîáõîäèìîñòü èñïîëüçîâàíèÿ ïåðåêëþ÷àòåëüíîãî
óðîâíÿ ïðè àíàëèçå ÊÌÎÏ-íåèñïðàâíîñòåé ïðèâîäèò ê çíà÷èòåëüíîìó
óâåëè÷åíèþ ÷èñëà íåèñïðàâíîñòåé ðàçëè÷íûõ êëàññîâ. Ýòî îáóñëîâëåíî
òåì, ÷òî åñëè ëîãè÷åñêèå âåíòèëè ðåàëèçóþòñÿ ñ ïîìîùüþ íåñêîëüêèõ
òðàíçèñòîðîâ, òî äëÿ àïïàðàòíîé ðåàëèçàöèè áîëüøèíñòâà òðèããåðíûõ
ïðèìèòèâîâ òðåáóåòñÿ íåñêîëüêî äåñÿòêîâ òðàíçèñòîðîâ.
Ñëåäóåò òàêæå çàìåòèòü, ÷òî âîçìîæíîñòè èñïîëüçîâàíèÿ ïðàâèë äëÿ
îïðåäåëåíèÿ ýêâèâàëåíòíûõ íåèñïðàâíîñòåé íà ïåðåêëþ÷àòåëüíîì óðîâ-
íå íåçíà÷èòåëüíûå. Ïîýòîìó ìîäåëèðîâàíèå íåèñïðàâíîñòåé íà ïåðåêëþ÷à-
òåëüíîì óðîâíå òðåáóåò çíà÷èòåëüíî áîëüøèõ çàòðàò êîìïüþòåðíîãî âðåìå-
íè è ïàìÿòè, ÷åì ìîäåëèðîâàíèå íà âåíòèëüíî-ôóíêöèîíàëüíîì óðîâíå.
Àíàëèç îöåíîê òåñòèðóåìîñòè ýòàëîííûõ ñõåì íà ñëó÷àéíûõ íàáîðàõ
(òàáë. 1) è èçâåñòíûå îöåíêè ñíèæåíèÿ ïîêðûâàþùåé ñïîñîáíîñòè ïñåâäî-
Ìåòîä ïàðàëëåëüíîé ãåíåðàöèè òåñòîâ íà ïåðåêëþ÷àòåëüíîì óðîâíå
ISSN 0204–3572. Ýëåêòðîí. ìîäåëèðîâàíèå. 2011. Ò. 33. ¹ 1 93
1
Âûõîä
Âûõîä
Âõîä
Âõîä
Èñïðàâíàÿ
Íåèñïðàâíàÿ
Ìåòîä IDDQ
10
a á
Idd
Idd
Ðèñ 2. Ïóòü òîêà ïðè íàëè÷èè íåèñïðàâíîñòè (à) è çíà÷åíèÿ òîêà Idd â èñïðàâíîé è
íåèñïðàâíîé ñõåìàõ (á)
ñëó÷àéíûõ òåñòîâ òàêæå ñâèäåòåëüñòâóþò î íåîáõîäèìîñòè óâåëè÷åíèÿ
áûñòðîäåéñòâèÿ ìîäåëèðîâàíèÿ íåèñïðàâíîñòåé.
Ïðåäëàãàåìûé ìåòîä ïîçâîëÿåò ïîâûñèòü ýôôåêòèâíîñòü ìîäåëèðî-
âàíèÿ íàèáîëåå çíà÷èìûõ ôèçè÷åñêèõ äåôåêòîâ ÌÎÏ-ñõåì íà ïåðåêëþ-
÷àòåëüíîì óðîâíå.
Ðåøåíèå çàäà÷è. Ðàíåå ïðîèçâîäèòåëüíîñòü êîìïüþòåðíûõ ñèñòåì
îïðåäåëÿëàñü òàêòîâîé ÷àñòîòîé, îïòèìèçàöèåé èñïîëíåíèÿ êîìàíä è óâå-
ëè÷åíèåì êýø-ïàìÿòè.  íàñòîÿùåå âðåìÿ îíà îïðåäåëÿåòñÿ ìíîãîÿäåð-
íîñòüþ êîìïüþòåðíûõ ñðåäñòâ è ðàçâèòèåì òåõíîëîãèé ïàðàëëåëüíîãî
ïðîãðàììèðîâàíèÿ, êîòîðûå ïîçâîëÿþò ðåøèòü ïðîáëåìó óìåíüøåíèÿ
òåìïîâ âîçðàñòàíèÿ òàêòîâîé ÷àñòîòû. Ýòè òåõíîëîãèè äàþò âîçìîæíîñòü
ïðèíöèïèàëüíî ïî-íîâîìó ïîäîéòè ê ñîçäàíèþ ìàñøòàáèðóåìîãî ïðî-
ãðàììíîãî îáåñïå÷åíèÿ, ïðè êîòîðîì èñïîëüçóåòñÿ óâåëè÷åíèå ÷èñëà âû-
÷èñëèòåëüíûõ óçëîâ â ïðîöåññîðå [8].  ýòîì ñëó÷àå ïðîèçâîäèòåëüíîñòü
ïðîãðàììíîãî îáåñïå÷åíèÿ âîçðàñòàåò íå òîëüêî ïðè óâåëè÷åíèè òàêòîâîé
÷àñòîòû öåíòðàëüíîãî ïðîöåññîðà, íî è ïðè óâåëè÷åíèè ÷èñëà ÿäåð â íåì.
Îñíîâíûå ýòàïû àëãîðèòìà ðàñïàðàëëåëèâàíèÿ ìîäåëèðîâàíèÿ ÊÌÎÏ-
íåèñïðàâíîñòåé äëÿ îöåíêè ïîêðûâàþùåé ñïîñîáíîñòè òåñòà ñëåäóþùèå.
1. Èñõîäíûé áîëüøîé ôàéë ñïèñêà íåèñïðàâíîñòåé îïðåäåëåííîãî
òèïà ðàçáèâàì íà ìíîæåñòâî íåáîëüøèõ ôàéëîâ, â êîòîðûõ îñóùåñòâ-
ëÿåòñÿ íåçàâèñèìîå ïàðàëëåëüíîå ìîäåëèðîâàíèå íåèñïðàâíîñòåé íà ìíî-
æåñòâå âû÷èñëèòåëåé. Åñëè âåñü ñïèñîê ðàçáèòü íà N ðàâíûõ ÷àñòåé è
ðàñïðåäåëèòü íà N âû÷èñëèòåëåé îäèíàêîâîé ìîùíîñòè, òî ýôôåêòèâ-
íîñòü óâåëè÷èâàåòñÿ â N ðàç.
2. Åñëè âû÷èñëèòåëü — ìíîãîÿäåðíûé, èñïîëüçóåì òåõíîëîãèþ
OpenMP â åå ïðîñòåéøåì âàðèàíòå äëÿ ðàñïàðàëëåëèâàíèÿ öèêëîâ [9, 10].
Ñëåäóåò çàìåòèòü, ÷òî îñíîâíîé ïðîöåäóðîé ïðè ïðîãðàììíîé ðåàëè-
çàöèè ìîäåëèðîâàíèÿ äèñêðåòíûõ óñòðîéñòâ ÿâëÿåòñÿ öèêë îáðàáîòêè ýëå-
ìåíòîâ ñõåìû. Ýòî ñïðàâåäëèâî è íà âåíòèëüíîì, è íà ïåðåêëþ÷àòåëüíîì
óðîâíå êàê ïðè ñîáûòèéíîì, òàê è ïðè ñêâîçíîì (ñïëîøíîì) ìîäåëè-
ðîâàíèè.
À. È. Àíäðþõèí
94 ISSN 0204–3572. Electronic Modeling. 2011. V. 33. ¹ 1
Ñõåìà èç
ýòàëîíà
ISCAS-89
×èñëî
íàáîðîâ
â òåñòå
×èñëî íåèñïðàâíîñòåé (âñåãî/îáíàðóæåíî)
Êîíñòàíò-
íûå «0»
Êîíñòàíò-
íûå «1»
«Îáðûâ
òðàíçèñòîðà»
«Çàìûêàíèå
ñòîê-èñòîê»
«Îáðûâ
ëèíèé»
S1494
S1512
S298
S4863
50
7
50
6
1430/170
1607/101
329/51
4717/625
1430/313
1607/541
329/66
4717/717
2129/310
2823/626
668/147
7056/1100
2129/344
2823/626
668/151
7056/1050
2129/345
2823/626
668/119
7056/1050
Òàáëèöà 1. Ðåçóëüòàòû òåñòèðîâàíèÿ ýòàëîííûõ ñõåì íà ñëó÷àéíûõ òåñòàõ
Ïðè èñïîëüçîâàíèè ïàðàëëåëüíîé ïðîãðàììíîé òåõíîëîãèè OpenMP
ñóùåñòâóþùèé ïðîãðàììíûé êîä CBuilder áûë ïåðåäåëàí â VC++, â ðå-
çóëüòàòå ÷åãî ïîÿâèëàñü âîçìîæíîñòü èñïîëüçîâàòü äèðåêòèâû OpenMP â
Visual Studio 2008. Õàðàêòåðèñòèêè ýôôåêòèâíîñòè âûïîëíåííîé ðàçðà-
áîòêè äëÿ ïðîöåññîðà Intel Pentium E6300 ñ ÷àñòîòîé 1,86 Ããö íà 50 âõîä-
íûõ íàáîðàõ ïðèâåäåíû â òàáë. 2 è 3.
Oñöèëëÿöèè ïðè ìîäåëèðîâàíèè íåèñïðàâíîñòåé. Èçâåñòíî, ÷òî
ïðè ìîäåëèðîâàíèè äèñêðåòíûõ óñòðîéñòâ âîçìîæíà îñöèëëÿöèÿ çíà÷å-
íèé ñèãíàëîâ íà ëèíèÿõ óñòðîéñòâà, ò.å. ñõåìà íå ïåðåõîäèò â óñòîé÷èâîå
ñîñòîÿíèå. Ïðè ïîñòðîåíèè òåñòîâ òàêèå íåèñïðàâíîñòè ñ÷èòàþòñÿ îáíàðó-
æåííûìè óñëîâíî. Ýòî ÿâëÿåòñÿ ñåðüåçíîé ïðîáëåìîé ïðè ìîäåëèðîâàíèè
ÑÁÈÑ. Ïðè ïîñòðîåíèè òåñòîâ íåîáõîäèìî îáåñïå÷èòü îòñóòñòâèå ñîñòÿ-
çàíèé êàê äëÿ èñïðàâíîãî óñòðîéñòâà, òàê è äëÿ åãî íåèñïðàâíûõ ìîäèôè-
êàöèé, îïðåäåëÿåìûõ ðàññìàòðèâàåìûì êëàññîì íåèñïðàâíîñòåé [7, 11].
Ìåòîä ïàðàëëåëüíîé ãåíåðàöèè òåñòîâ íà ïåðåêëþ÷àòåëüíîì óðîâíå
ISSN 0204–3572. Ýëåêòðîí. ìîäåëèðîâàíèå. 2011. Ò. 33. ¹ 1 95
Ñõåìà
×èñëî Ìîäåëèðîâàíèå íà 50-òè íàáîðàõ, ñ
ýëåìåíòîâ/âõî-
äîâ/ âûõîäîâ
èíâåðòî-
ðîâ/òðèããåðîâ
óçëîâ/òðàí-
çèñòîðîâ
Ïîñëåäî-
âàòåëü-
íîå
 ñðåäå
ðragma omp
sections
 ñðåäå
omp parallel
for
S13207
S15850
S35932
S38417
8620/33/121
10369/16/87
17793/37/320
23815/30/106
5378/669
6324/597
3861/1728
13470/1636
25559/58309
27123/61188
77485/177500
66906/153443
8
9
22
20
7
7
19
15
7
7
19
15
Òàáëèöà 2. Õàðàêòåðèñòèêè ýôôåêòèâíîñòè ðàñïàðàëëåëèâàíèÿ
ïðîãðàììíîãî êîäà ñ èñïîëüçîàâàíèåì OpenMP äëÿ äâóõ ïðîöåññîðîâ
ïðè ìîäåëèðîâàíèè èñïðàâíûõ óñòðîéñòâ
Ñõåìà
ñïèñêà
Iscas-89
×èñëî
íåèñïðàâ-
íîñòåé
Ïîñëåäîâàòåëüíîå íà
âû÷èñëèòåëÿõ ñ îäíèì
ïðîöåññîðîì
Ñ äèðåêòèâîé OpenMP íà âû÷èñëèòåëÿõ
ñ äâóìÿ ïðîöåññîðàìè â ñðåäå
pragma omp sections omp parallel for
1 10 100 1 10 100 1 10 100
S38417
S13207
S15850
S35932
190212
71293
61185
177497
528
79
76
542
53
8
7,6
54,2
5,3
0,8
0,8
5,4
396
69
60
468
40
7
6
47
4
0,7
0,6
4,7
396
69
60
468
40
7
6
47
4
0,7
0,6
4,7
Òàáëèöà 3. Âðåìÿ ìîäåëèðîâàíèÿ ñõåì ñ íåèñïðàâíîñòÿìè
«îáðûâ çàòâîðà òðàíçèñòîðà», ÷
Èçâåñòíî òàêæå, ÷òî äëÿ ðàçëè÷íûõ èòåðàöèîííûõ àëãîðèòìîâ òåîðå-
òè÷åñêèé ìàêñèìóì ÷èñëà èòåðàöèé äëÿ îáíàðóæåíèÿ îñöèëëÿöèé íà âåí-
òèëüíîì èëè ïåðåêëþ÷àòåëüíîì óðîâíÿõ ìîäåëèðîâàíèÿ ÿâëÿåòñÿ ëèíåé-
íîé ôóíêöèåé ÷èñëà áàçîâûõ ýëåìåíòîâ [12, 13]. Íà ïðàêòèêå îãðàíè÷èâàþò
÷èñëî èòåðàöèé ïðè ìîäåëèðîâàíèè íà îñíîâå àíàëèçà ñòðóêòóðû ñõåìû,
ó÷åòà õàðàêòåðèñòèê îáðàòíûõ ñâÿçåé è äðóãèõ îñîáåííîñòåé. Ïðè äîñòèæå-
íèè ïðåäåëüíîãî ÷èñëà èòåðàöèé îáû÷íî îáðûâàþò ïðîöåññ ìîäåëèðîâàíèÿ
ïðèñâîåíèåì íåîïðåäåëåííîãî çíà÷åíèÿ X îñöèëëèðóþùèì ëèíèÿì ìîäå-
ëèðóåìîé ñõåìû. Ýòè äåéñòâèÿ ìîãóò ïðèâîäèòü ê îøèáî÷íûì ðåçóëüòà-
òàì ïðè îøèáî÷íîì îïðåäåëåíèè ïðåäåëüíîãî ÷èñëà èòåðàöèé.
Ïðè ïðîåêòèðîâàíèè äèñêðåòíîãî óñòðîéñòâà íåîáõîäèìî ó÷èòûâàòü
óñëîâèå ïîãëîùåíèÿ � (S, X) = � (� (S, X), X), ãäå X, S — ïåðåìåííûå âõîäà
è ñîñòîÿíèÿ, � — ôóíêöèÿ ïåðåõîäà [11]. ßñíî, ÷òî ïðè ìîäåëèðîâàíèè
óñòðîéñòâà ñ íåèñïðàâíîñòüþ (íà ëþáîì óðîâíå) ýòî óñëîâèå íàðóøàåòñÿ.
Ïîýòîìó îñöèëëÿöèè îáû÷íî íàáëþäàþòñÿ ïðè ìîäåëèðîâàíèè äèñêðåòíûõ
óñòðîéñòâ ñ íåèñïðàâíîñòÿìè ðàçëè÷íîãî óðîâíÿ.
Ïåðñïåêòèâû è ïðîáëåìû äàëüíåéøèõ èññëåäîâàíèé. Â ðàáîòàõ [3,
4, 7] ìîäåëèðîâàíèå ñõåì íà ïåðåêëþ÷àòåëüíîì óðîâíå ïðåäñòàâëåíî êàê
èòåðàöèîííûé ïðîöåññ âû÷èñëåíèé äëÿ ñèñòåìû áóëåâûõ ñîîòíîøåíèé
ìåæäó êîìïîíåíòàìè ìíîãîçíà÷íîãî ñèãíàëà â óçëàõ ñõåìû, ïðè êîòîðîì
îòûñêèâàåòñÿ åå óñòîé÷èâîå ñîñòîÿíèå. Ýòà ñèñòåìà áóëåâûõ ñîîòíîøå-
íèé èäåàëüíî ïîäõîäèò äëÿ ðàñïàðàëëåëèâàíèÿ âû÷èñëåíèé, â ÷àñòíîñòè
èìåííî äëÿ òåõíîëîãèè OpenMP. Ïîýòîìó óâåëè÷åíèå ÷èñëà âû÷èñëè-
òåëåé â ìíîãîÿäåðíûõ ïðîöåññîðàõ ïîëîæèòåëüíî ñêàçûâàåòñÿ íà ñêî-
ðîñòè ìîäåëèðîâàíèÿ. Ïðè ýòîì âåðõíåé ãðàíèöåé ÿâëÿåòñÿ ÷èñëî óçëîâ â
òðàíçèñòîðíîé ñõåìå.
Ðåàëèçîâàííûé ñêâîçíîé ìåòîä ìîäåëèðîâàíèÿ íà ïåðåêëþ÷àòåëüíîì
óðîâíå, îñíîâîé êîòîðîãî ÿâëÿåòñÿ ñèñòåìà áóëåâûõ ñîîòíîøåíèé, ïåðñ-
ïåêòèâåí ïðè èñïîëüçîâàíèè íà ìíîãîÿäåðíûõ ïðîöåññîðàõ. Îí îòëè÷àåòñÿ
îò èçâåñòíûõ ðàíåå òåì, ÷òî â íåì íå èñïîëüçóåòñÿ ïðåäñòàâëåíèå ñîñòîÿíèÿ
òðàíçèñòîðà â âèäå ãðàôà è ïðèíöèï ñîáûòèéíîñòè ïðè âû÷èñëåíèÿõ.
Ìîäåëèðîâàíèå íà ïåðåêëþ÷àòåëüíîì óðîâíå ÿâëÿåòñÿ àïðèîðè áîëåå
òðóäîåìêèì, ÷åì ìîäåëèðîâàíèå íà âåíòèëüíîì óðîâíå. Ðàíåå óòâåðæ-
äàëîñü, ÷òî «... ìîäåëèðîâàíèå íà óðîâíå ïåðåêëþ÷åíèé äëÿ âñåé ÑÁÈÑ
ÿâëÿåòñÿ, ïî-âèäèìîìó, íåðåàëüíûì» [2, c. 226]. Â íàñòîÿùåå âðåìÿ òåìïû
ðàçâèòèÿ ïðîåêòèðîâàíèÿ ÑÁÈÑ è êîìïüþòåðíîé òåõíèêè ñóùåñòâåííî
óâåëè÷èëèñü, à çàäà÷à ìîäåëèðîâàíèÿ íà óðîâíå ïåðåêëþ÷åíèé çíà÷è-
òåëüíî óñëîæíèëàñü. Íà îñíîâíîì ëîãèêî-âåíòèëüíîì óðîâíå, ïðèíÿòîì â
Verilog ñ èñïîëüçîâàíèåì àòðèáóòà Strength äëÿ îïèñàíèÿ ïîëåâûõ òðàí-
çèñòîðîâ, òðóäíî ñòðîèòü êîíòðîëüíûå òåñòû äëÿ ðàçëè÷íûõ êëàññîâ ìî-
À. È. Àíäðþõèí
96 ISSN 0204–3572. Electronic Modeling. 2011. V. 33. ¹ 1
äåëüíûõ íåèñïðàâíîñòåé è ïðàêòè÷åñêè íåâîçìîæíî ñòðîèòü äèàãíîñòè-
÷åñêèå òåñòû.
Ñîâðåìåííûå èíòåãðàëüíûå òåõíîëîãèè îáåñïå÷èâàþò:
1) çíà÷èòåëüíîå óâåëè÷åíèå ÷èñëà áàçîâûõ ïðèìèòèâîâ â ÑÁÈÑ è èõ
òèïîâ (òðàíçèñòîðû ñ äâóìÿ è áîëåå çàòâîðàìè è äð.);
2) ïîÿâëåíèå íîâûõ ôèçè÷åñêèõ äåôåêòîâ, àññîöèèðóåìûõ ñ íîâûìè
(èëè ðàíåå íå ïðèâëåêàâøèìè âíèìàíèÿ) ìîäåëüíûìè êëàññàìè íåèñïðàâ-
íîñòåé; íàïðèìåð, ìèíèàòþðèçàöèÿ òðàíçèñòîðîâ äåëàåò àêòóàëüíûì äå-
ôåêò óòå÷êè òîêà.
Äåôåêòû ïðèâîäÿò ê íåóñòîé÷èâûì çíà÷åíèÿì íàïðÿæåíèÿ íà âûõîäå
óñòðîéñòâà. Ïðè ìîäåëèðîâàíèè òàêèõ íåèñïðàâíîñòåé âîçíèêàþò îñöèë-
ëÿöèè, ò.å. èòåðàòèâíûé ïðîöåññ ìîäåëèðîâàíèÿ ñõåìû íå ìîæåò îïðåäå-
ëèòü åå óñòîé÷èâîå ñîñòîÿíèå. Ïðè îáíàðóæåíèè íåèñïðàâíîñòåé ýòî ÿâëå-
íèå ìîæåò áûòü èñïîëüçîâàíî. Îäíàêî âåñüìà çàòðóäíèòåëüíî â îáùåì
ñëó÷àå [12, 13] äàòü îïðåäåëåííûå îòâåòû íà âîïðîñû, ÿâëÿåòñÿ ëè ïðè÷è-
íîé îòêëîíåíèÿ îò íîðìû ìîäåëèðóåìàÿ íåèñïðàâíîñòü, âîçìîæíî ëè
îïðåäåëåíèå îòêëîíåíèÿ çà ïðàêòè÷åñêè ïðèåìëåìîå ãðàíè÷íîå ÷èñëî
èòåðàöèé, ìîæíî ëè ñ÷èòàòü îáíàðóæåííîé íåèñïðàâíîñòü ïðè íàëè÷èè
îòêëîíåíèé çíà÷åíèé ñèãíàëîâ íà âíóòðåííèõ ëèíèÿõ ñõåìû (ðèñ. 3).
Âûâîäû.
1. Âïåðâûå âûïîëíåíî ïîñòðîåíèå òåñòà ïðè ïîìîùè ìîäåëèðîâàíèÿ
íåèñïðàâíîñòåé ñ èñïîëüçîâàíèåì ïàðàëëåëüíûõ òåõíîëîãèé, â ÷àñòíîñòè
OpenMP, íà ïåðåêëþ÷àòåëüíîì óðîâíå.
2. ×èñëåííûå õàðàêòåðèñòèêè ðåçóëüòàòîâ ìîäåëèðîâàíèÿ ñâèäåòåëü-
ñòâóþò î òîì, ÷òî ïàðàëëåëüíûå òåõíîëîãèè íà ñîâðåìåííîì ýòàïå ïîç-
âîëÿþò îáåñïå÷èòü ìîäåëèðîâàíèå íà óðîâíå ïåðåêëþ÷åíèé äëÿ âñåé
ÑÁÈÑ è åå ìîäèôèêàöèé ñ íåèñïðàâíîñòÿìè ðàçëè÷íûõ êëàññîâ.
Òàêèì îáðàçîì, ïðîãðàììíàÿ ðåàëèçàöèÿ ìîäåëèðîâàíèÿ ñõåì ñ íå-
èñïðàâíîñòÿìè ñ èñïîëüçîâàíèåì OpenMP íà îñíîâå àëãîðèòìîâ ìîäåëè-
ðîâàíèÿ èñïðàâíûõ ñõåì íà ïåðåêëþ÷àòåëüíîì óðîâíå ïîçâîëÿåò ýôôåê-
òèâíî ãåíåðèðîâàòü òåñòû äëÿ ïåðåêëþ÷àòåëüíîãî óðîâíÿ. Ðàçíîîáðàçèå
Ìåòîä ïàðàëëåëüíîé ãåíåðàöèè òåñòîâ íà ïåðåêëþ÷àòåëüíîì óðîâíå
ISSN 0204–3572. Ýëåêòðîí. ìîäåëèðîâàíèå. 2011. Ò. 33. ¹ 1 97
&
1
1 &
1
1
1
Ðèñ 3. Ïðèìåð îñöèëëÿöèé íà âíóòðåííèõ ëèíèÿõ ñõåìû
õàðàêòåðèñòèê ðàçëè÷íûõ òèïîâ ñîâðåìåííûõ òðàíçèñòîðíûõ ñòðóêòóð
ñòèìóëèðóåò ðàçâèòèå âñåõ ìåòîäîâ ãåíåðàöèè òåñòîâ äëÿ íèõ.
À method for pseudo-random test generation on switch level is described. Experimental results of inves-
tigation on Iscas-89 circuits are presented to demonstrate the effectiveness of the proposed method.
1. Âåéöìàí È. Í., Êîíäðàòüåâà Î. Ì. Òåñòèðîâàíèå ÊÌÎÏ-ñõåì // Àâòîìàòèêà è òåëåìå-
õàíèêà. — 1991. — ¹ 2. — Ñ. 3—34.
2. Êèíîñèòà Ê., Àñàäà Ê., Êàðàöó Î. Ëîãè÷åñêîå ïðîåêòèðîâàíèå ÑÁÈÑ.: Ïåð. ñ ÿïîí. —
Ì. : Ìèð, 1988. — 309 ñ.
3. Àíäðþõèí À. È. Ïàðàëëåëüíîå ìîäåëèðîâàíèå íåèñïðàâíîñòåé ÌÎÏ-ñòðóêòóð // Íàó÷.
òð. Äîíåöêîãî ãîñóäàðñòâåííîãî òåõíè÷åñêîãî óíèâåðñèòåòà. Ñåðèÿ: Ïðîáëåìû ìî-
äåëèðîâàíèÿ è àâòîìàòèçàöèè ïðîåêòèðîâàíèÿ äèíàìè÷åñêèõ ñèñòåì. — 2001. —
Âûï. 29. — Ñ. 205—211.
4. Àíäðþõèí À. È. Ïàðàëëåëüíîå ìíîãîçíà÷íîå ëîãè÷åñêîå ìîäåëèðîâàíèå èñïðàâíûõ è
íåèñïðàâíûõ ïñåâäîáóëåâûõ ñõåì. // Ýëåêòðîí. ìîäåëèðîâàíèå. — 1997. — 19, ¹ 1. —
Ñ. 58—63.
5. Hayes J. P. Pseudo-Boolean Logic Circuits//IEEE Trans. on Computers. — 1986. — C-35,
¹ 7. — P. 602—612.
6. Yang A. T., Chang Y.- H., Saab D. G., Hajj I. N. Switch-level timing simulation of bipolar
ECL circuits // Òàì æå. —1993. — 12, ¹ 4. — Ð. 516—530.
7. Àíäðþõèí À. È. Ãåíåðàöèÿ òåñòîâ äëÿ ÌÎÏ-ñòðóêòóð íà ïåðåêëþ÷àòåëüíîì óðîâíå //
Íàó÷íûå òðóäû Äîíåöêîãî íàöèîíàëüíîãî òåõíè÷åñêîãî óíèâåðñèòåòà. Ñåðèÿ: Èíôîð-
ìàòèêà, êèáåðíåòèêà è âû÷èñëèòåëüíàÿ òåõíèêà (ÈÊÂÒ-2008). — 2008. — Âûï. 9
(132). — Ñ.195—202.
8. Àíäðþõèí À. È. Ñòàòèñòè÷åñêèå îöåíêè ðåøåíèé çàäà÷ îïòèìèçàöèè â ðàñïðåäå-
ëåííûõ ñèñòåìàõ.I. // Òàì æå. — 2009. — Âûï. 10 (153). — Ñ. 285—290.
9. OpenMP Architecture Review Board — http://www.openmp.org/.
10. Àíòîíîâ À. Ñ. Ïàðàëëåëüíîå ïðîãðàììèðîâàíèå ñ èñïîëüçîâàíèåì òåõíîëîãèè OpenMP:
Ó÷åá. ïîñîáèå. — Ì. : Èçä-âî ÌÃÓ, 2009. — 77 ñ.
11. Àíäðþõèí À. È. Ñòàòèñòè÷åñêèå õàðàêòåðèñòèêè îñöèëëÿöèé ïðè ëîãè÷åñêîì ìîäåëèðî-
âàíèè íåèñïðàâíûõ öèôðîâûõ ñõåì // Íàó÷. òð. Äîíåöêîãî ãîñóäàðñòâåííîãî òåõíè÷åñ-
êîãî óíèâåðñèòåòà. Ñåðèÿ: Èíôîðìàòèêà, êèáåðíåòèêà è âû÷èñëèòåëüíàÿ òåõíèêà. —
2009. — Âûï. 10 (153). — Ñ. 291 —295.
12. Ëàçåð È. Ì., Øóáàðåâ Â. À. Óñòîé÷èâîñòü öèôðîâûõ ìèêðîýëåêòðîííûõ óñòðîéñòâ. —
Ì. : Ðàäèî è ñâÿçü, 1983. — 216 ñ.
13. Wiklund K., Magnusson T., Dahlgren P. Switch-Level Test Generation of Competing
Bridging Faults in the Presence of Feedback// Technical Report 00-02. — Chalmers Univer-
sity of Technology. — Gothenburg, 2002. — 10 p.
Ïîñòóïèëà 19.10.10;
ïîñëå äîðàáîòêè 29.11.10
ÀÍÄÐÞÕÈÍ Àëåêñàíäð Èâàíîâè÷, êàíä. òåõí. íàóê, ñò. íàó÷. ñîòð., äîöåíò êàôåäðû ïðèêëàäíîé
ìàòåìàòèêè è èíôîðìàòèêè Äîíåöêîãî íàöèîíàëüíîãî òåõíè÷åñêîãî óíèâåðñèòåòà.  1973 ã.
îêîí÷èë Äîíåöêèé ãîñóíèâåðñèòåò. Îáëàñòü íàó÷íûõ èññëåäîâàíèé — ìîäåëèðîâàíèå è äèàã-
íîñòèðîâàíèå öèôðîâûõ ñèñòåì, ïðîáëåìû èñêóññòâåííîãî èíòåëëåêòà è ïðîãðàììèðîâàíèÿ.
À. È. Àíäðþõèí
98 ISSN 0204–3572. Electronic Modeling. 2011. V. 33. ¹ 1
<<
/ASCII85EncodePages false
/AllowTransparency false
/AutoPositionEPSFiles true
/AutoRotatePages /None
/Binding /Left
/CalGrayProfile (Dot Gain 20%)
/CalRGBProfile (sRGB IEC61966-2.1)
/CalCMYKProfile (U.S. Web Coated \050SWOP\051 v2)
/sRGBProfile (sRGB IEC61966-2.1)
/CannotEmbedFontPolicy /Error
/CompatibilityLevel 1.4
/CompressObjects /Tags
/CompressPages true
/ConvertImagesToIndexed true
/PassThroughJPEGImages true
/CreateJDFFile false
/CreateJobTicket false
/DefaultRenderingIntent /Default
/DetectBlends true
/DetectCurves 0.0000
/ColorConversionStrategy /CMYK
/DoThumbnails false
/EmbedAllFonts true
/EmbedOpenType false
/ParseICCProfilesInComments true
/EmbedJobOptions true
/DSCReportingLevel 0
/EmitDSCWarnings false
/EndPage -1
/ImageMemory 1048576
/LockDistillerParams false
/MaxSubsetPct 100
/Optimize true
/OPM 1
/ParseDSCComments true
/ParseDSCCommentsForDocInfo true
/PreserveCopyPage true
/PreserveDICMYKValues true
/PreserveEPSInfo true
/PreserveFlatness true
/PreserveHalftoneInfo false
/PreserveOPIComments true
/PreserveOverprintSettings true
/StartPage 1
/SubsetFonts true
/TransferFunctionInfo /Apply
/UCRandBGInfo /Preserve
/UsePrologue false
/ColorSettingsFile ()
/AlwaysEmbed [ true
]
/NeverEmbed [ true
]
/AntiAliasColorImages false
/CropColorImages true
/ColorImageMinResolution 300
/ColorImageMinResolutionPolicy /OK
/DownsampleColorImages true
/ColorImageDownsampleType /Bicubic
/ColorImageResolution 300
/ColorImageDepth -1
/ColorImageMinDownsampleDepth 1
/ColorImageDownsampleThreshold 1.50000
/EncodeColorImages true
/ColorImageFilter /DCTEncode
/AutoFilterColorImages true
/ColorImageAutoFilterStrategy /JPEG
/ColorACSImageDict <<
/QFactor 0.15
/HSamples [1 1 1 1] /VSamples [1 1 1 1]
>>
/ColorImageDict <<
/QFactor 0.15
/HSamples [1 1 1 1] /VSamples [1 1 1 1]
>>
/JPEG2000ColorACSImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 30
>>
/JPEG2000ColorImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 30
>>
/AntiAliasGrayImages false
/CropGrayImages true
/GrayImageMinResolution 300
/GrayImageMinResolutionPolicy /OK
/DownsampleGrayImages true
/GrayImageDownsampleType /Bicubic
/GrayImageResolution 300
/GrayImageDepth -1
/GrayImageMinDownsampleDepth 2
/GrayImageDownsampleThreshold 1.50000
/EncodeGrayImages true
/GrayImageFilter /DCTEncode
/AutoFilterGrayImages true
/GrayImageAutoFilterStrategy /JPEG
/GrayACSImageDict <<
/QFactor 0.15
/HSamples [1 1 1 1] /VSamples [1 1 1 1]
>>
/GrayImageDict <<
/QFactor 0.15
/HSamples [1 1 1 1] /VSamples [1 1 1 1]
>>
/JPEG2000GrayACSImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 30
>>
/JPEG2000GrayImageDict <<
/TileWidth 256
/TileHeight 256
/Quality 30
>>
/AntiAliasMonoImages false
/CropMonoImages true
/MonoImageMinResolution 1200
/MonoImageMinResolutionPolicy /OK
/DownsampleMonoImages true
/MonoImageDownsampleType /Bicubic
/MonoImageResolution 1200
/MonoImageDepth -1
/MonoImageDownsampleThreshold 1.50000
/EncodeMonoImages true
/MonoImageFilter /CCITTFaxEncode
/MonoImageDict <<
/K -1
>>
/AllowPSXObjects false
/CheckCompliance [
/None
]
/PDFX1aCheck false
/PDFX3Check false
/PDFXCompliantPDFOnly false
/PDFXNoTrimBoxError true
/PDFXTrimBoxToMediaBoxOffset [
0.00000
0.00000
0.00000
0.00000
]
/PDFXSetBleedBoxToMediaBox true
/PDFXBleedBoxToTrimBoxOffset [
0.00000
0.00000
0.00000
0.00000
]
/PDFXOutputIntentProfile ()
/PDFXOutputConditionIdentifier ()
/PDFXOutputCondition ()
/PDFXRegistryName ()
/PDFXTrapped /False
/Description <<
/CHS <FEFF4f7f75288fd94e9b8bbe5b9a521b5efa7684002000410064006f006200650020005000440046002065876863900275284e8e9ad88d2891cf76845370524d53705237300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c676562535f00521b5efa768400200050004400460020658768633002>
/CHT <FEFF4f7f752890194e9b8a2d7f6e5efa7acb7684002000410064006f006200650020005000440046002065874ef69069752865bc9ad854c18cea76845370524d5370523786557406300260a853ef4ee54f7f75280020004100630072006f0062006100740020548c002000410064006f00620065002000520065006100640065007200200035002e003000204ee553ca66f49ad87248672c4f86958b555f5df25efa7acb76840020005000440046002065874ef63002>
/DAN <FEFF004200720075006700200069006e0064007300740069006c006c0069006e006700650072006e0065002000740069006c0020006100740020006f007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400650072002c0020006400650072002000620065006400730074002000650067006e006500720020007300690067002000740069006c002000700072006500700072006500730073002d007500640073006b007200690076006e0069006e00670020006100660020006800f8006a0020006b00760061006c0069007400650074002e0020004400650020006f007000720065007400740065006400650020005000440046002d0064006f006b0075006d0065006e0074006500720020006b0061006e002000e50062006e00650073002000690020004100630072006f00620061007400200065006c006c006500720020004100630072006f006200610074002000520065006100640065007200200035002e00300020006f00670020006e0079006500720065002e>
/DEU <FEFF00560065007200770065006e00640065006e0020005300690065002000640069006500730065002000450069006e007300740065006c006c0075006e00670065006e0020007a0075006d002000450072007300740065006c006c0065006e00200076006f006e002000410064006f006200650020005000440046002d0044006f006b0075006d0065006e00740065006e002c00200076006f006e002000640065006e0065006e002000530069006500200068006f006300680077006500720074006900670065002000500072006500700072006500730073002d0044007200750063006b0065002000650072007a0065007500670065006e0020006d00f60063006800740065006e002e002000450072007300740065006c006c007400650020005000440046002d0044006f006b0075006d0065006e007400650020006b00f6006e006e0065006e0020006d006900740020004100630072006f00620061007400200075006e0064002000410064006f00620065002000520065006100640065007200200035002e00300020006f0064006500720020006800f600680065007200200067006500f600660066006e00650074002000770065007200640065006e002e>
/ESP <FEFF005500740069006c0069006300650020006500730074006100200063006f006e0066006900670075007200610063006900f3006e0020007000610072006100200063007200650061007200200064006f00630075006d0065006e0074006f00730020005000440046002000640065002000410064006f0062006500200061006400650063007500610064006f00730020007000610072006100200069006d0070007200650073006900f3006e0020007000720065002d0065006400690074006f007200690061006c00200064006500200061006c00740061002000630061006c0069006400610064002e002000530065002000700075006500640065006e00200061006200720069007200200064006f00630075006d0065006e0074006f00730020005000440046002000630072006500610064006f007300200063006f006e0020004100630072006f006200610074002c002000410064006f00620065002000520065006100640065007200200035002e003000200079002000760065007200730069006f006e0065007300200070006f00730074006500720069006f007200650073002e>
/FRA <FEFF005500740069006c006900730065007a00200063006500730020006f007000740069006f006e00730020006100660069006e00200064006500200063007200e900650072002000640065007300200064006f00630075006d0065006e00740073002000410064006f00620065002000500044004600200070006f0075007200200075006e00650020007100750061006c0069007400e90020006400270069006d007000720065007300730069006f006e00200070007200e9007000720065007300730065002e0020004c0065007300200064006f00630075006d0065006e00740073002000500044004600200063007200e900e90073002000700065007500760065006e0074002000ea0074007200650020006f007500760065007200740073002000640061006e00730020004100630072006f006200610074002c002000610069006e00730069002000710075002700410064006f00620065002000520065006100640065007200200035002e0030002000650074002000760065007200730069006f006e007300200075006c007400e90072006900650075007200650073002e>
/ITA <FEFF005500740069006c0069007a007a006100720065002000710075006500730074006500200069006d0070006f007300740061007a0069006f006e00690020007000650072002000630072006500610072006500200064006f00630075006d0065006e00740069002000410064006f00620065002000500044004600200070006900f900200061006400610074007400690020006100200075006e00610020007000720065007300740061006d0070006100200064006900200061006c007400610020007100750061006c0069007400e0002e0020004900200064006f00630075006d0065006e007400690020005000440046002000630072006500610074006900200070006f00730073006f006e006f0020006500730073006500720065002000610070006500720074006900200063006f006e0020004100630072006f00620061007400200065002000410064006f00620065002000520065006100640065007200200035002e003000200065002000760065007200730069006f006e006900200073007500630063006500730073006900760065002e>
/JPN <FEFF9ad854c18cea306a30d730ea30d730ec30b951fa529b7528002000410064006f0062006500200050004400460020658766f8306e4f5c6210306b4f7f75283057307e305930023053306e8a2d5b9a30674f5c62103055308c305f0020005000440046002030d530a130a430eb306f3001004100630072006f0062006100740020304a30883073002000410064006f00620065002000520065006100640065007200200035002e003000204ee5964d3067958b304f30533068304c3067304d307e305930023053306e8a2d5b9a306b306f30d530a930f330c8306e57cb30818fbc307f304c5fc59808306730593002>
/KOR <FEFFc7740020c124c815c7440020c0acc6a9d558c5ec0020ace0d488c9c80020c2dcd5d80020c778c1c4c5d00020ac00c7a50020c801d569d55c002000410064006f0062006500200050004400460020bb38c11cb97c0020c791c131d569b2c8b2e4002e0020c774b807ac8c0020c791c131b41c00200050004400460020bb38c11cb2940020004100630072006f0062006100740020bc0f002000410064006f00620065002000520065006100640065007200200035002e00300020c774c0c1c5d0c11c0020c5f40020c2180020c788c2b5b2c8b2e4002e>
/NLD (Gebruik deze instellingen om Adobe PDF-documenten te maken die zijn geoptimaliseerd voor prepress-afdrukken van hoge kwaliteit. De gemaakte PDF-documenten kunnen worden geopend met Acrobat en Adobe Reader 5.0 en hoger.)
/NOR <FEFF004200720075006b00200064006900730073006500200069006e006e007300740069006c006c0069006e00670065006e0065002000740069006c002000e50020006f0070007000720065007400740065002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e00740065007200200073006f006d00200065007200200062006500730074002000650067006e0065007400200066006f00720020006600f80072007400720079006b006b0073007500740073006b00720069006600740020006100760020006800f800790020006b00760061006c0069007400650074002e0020005000440046002d0064006f006b0075006d0065006e00740065006e00650020006b0061006e002000e50070006e00650073002000690020004100630072006f00620061007400200065006c006c00650072002000410064006f00620065002000520065006100640065007200200035002e003000200065006c006c00650072002000730065006e006500720065002e>
/PTB <FEFF005500740069006c0069007a006500200065007300730061007300200063006f006e00660069006700750072006100e700f50065007300200064006500200066006f0072006d00610020006100200063007200690061007200200064006f00630075006d0065006e0074006f0073002000410064006f0062006500200050004400460020006d00610069007300200061006400650071007500610064006f00730020007000610072006100200070007200e9002d0069006d0070007200650073007300f50065007300200064006500200061006c007400610020007100750061006c00690064006100640065002e0020004f007300200064006f00630075006d0065006e0074006f00730020005000440046002000630072006900610064006f007300200070006f00640065006d0020007300650072002000610062006500720074006f007300200063006f006d0020006f0020004100630072006f006200610074002000650020006f002000410064006f00620065002000520065006100640065007200200035002e0030002000650020007600650072007300f50065007300200070006f00730074006500720069006f007200650073002e>
/SUO <FEFF004b00e40079007400e40020006e00e40069007400e4002000610073006500740075006b007300690061002c0020006b0075006e0020006c0075006f00740020006c00e400680069006e006e00e4002000760061006100740069007600610061006e0020007000610069006e006100740075006b00730065006e002000760061006c006d0069007300740065006c00750074007900f6006800f6006e00200073006f00700069007600690061002000410064006f0062006500200050004400460020002d0064006f006b0075006d0065006e007400740065006a0061002e0020004c0075006f0064007500740020005000440046002d0064006f006b0075006d0065006e00740069007400200076006f0069006400610061006e0020006100760061007400610020004100630072006f0062006100740069006c006c00610020006a0061002000410064006f00620065002000520065006100640065007200200035002e0030003a006c006c00610020006a006100200075007500640065006d006d0069006c006c0061002e>
/SVE <FEFF0041006e007600e4006e00640020006400650020006800e4007200200069006e0073007400e4006c006c006e0069006e006700610072006e00610020006f006d002000640075002000760069006c006c00200073006b006100700061002000410064006f006200650020005000440046002d0064006f006b0075006d0065006e007400200073006f006d002000e400720020006c00e4006d0070006c0069006700610020006600f60072002000700072006500700072006500730073002d007500740073006b00720069006600740020006d006500640020006800f600670020006b00760061006c0069007400650074002e002000200053006b006100700061006400650020005000440046002d0064006f006b0075006d0065006e00740020006b0061006e002000f600700070006e00610073002000690020004100630072006f0062006100740020006f00630068002000410064006f00620065002000520065006100640065007200200035002e00300020006f00630068002000730065006e006100720065002e>
/ENU (Use these settings to create Adobe PDF documents best suited for high-quality prepress printing. Created PDF documents can be opened with Acrobat and Adobe Reader 5.0 and later.)
>>
/Namespace [
(Adobe)
(Common)
(1.0)
]
/OtherNamespaces [
<<
/AsReaderSpreads false
/CropImagesToFrames true
/ErrorControl /WarnAndContinue
/FlattenerIgnoreSpreadOverrides false
/IncludeGuidesGrids false
/IncludeNonPrinting false
/IncludeSlug false
/Namespace [
(Adobe)
(InDesign)
(4.0)
]
/OmitPlacedBitmaps false
/OmitPlacedEPS false
/OmitPlacedPDF false
/SimulateOverprint /Legacy
>>
<<
/AddBleedMarks false
/AddColorBars false
/AddCropMarks false
/AddPageInfo false
/AddRegMarks false
/ConvertColors /ConvertToCMYK
/DestinationProfileName ()
/DestinationProfileSelector /DocumentCMYK
/Downsample16BitImages true
/FlattenerPreset <<
/PresetSelector /MediumResolution
>>
/FormElements false
/GenerateStructure false
/IncludeBookmarks false
/IncludeHyperlinks false
/IncludeInteractive false
/IncludeLayers false
/IncludeProfiles false
/MultimediaHandling /UseObjectSettings
/Namespace [
(Adobe)
(CreativeSuite)
(2.0)
]
/PDFXOutputIntentProfileSelector /DocumentCMYK
/PreserveEditing true
/UntaggedCMYKHandling /LeaveUntagged
/UntaggedRGBHandling /UseDocumentProfile
/UseDocumentBleed false
>>
]
>> setdistillerparams
<<
/HWResolution [2400 2400]
/PageSize [612.000 792.000]
>> setpagedevice
|
| id | nasplib_isofts_kiev_ua-123456789-61731 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0204-3572 |
| language | Russian |
| last_indexed | 2025-12-07T17:41:16Z |
| publishDate | 2011 |
| publisher | Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| record_format | dspace |
| spelling | Андрюхин, А.И. 2014-05-10T20:09:29Z 2014-05-10T20:09:29Z 2011 Метод параллельной генерации тестов на переключательном уровне для МОП-схем / А.И. Андрюхин // Электронное моделирование. — 2011 — Т. 33, № 1. — С. 91-98. — Бібліогр.: 13 назв. — рос. 0204-3572 https://nasplib.isofts.kiev.ua/handle/123456789/61731 004.051-054 Рассмотрен параллельный метод генерации тестов на переключательном уровне. Представлены экспериментальные результаты исследований эффективности предложенного метода для схем списка Iscas-89. Розлянуто паралельний метод генерації тестів на перемикальному рівні. Наведено експериментальні результати ефективності досліджень запропонованого методу для схем списку Iscas-89. À method for pseudo-random test generation on switch level is described. Experimental results of investigation on Iscas-89 circuits are presented to demonstrate the effectiveness of the proposed method. ru Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України Электронное моделирование Точность, надежность, диагностика Метод параллельной генерации тестов на переключательном уровне для МОП-схем Article published earlier |
| spellingShingle | Метод параллельной генерации тестов на переключательном уровне для МОП-схем Андрюхин, А.И. Точность, надежность, диагностика |
| title | Метод параллельной генерации тестов на переключательном уровне для МОП-схем |
| title_full | Метод параллельной генерации тестов на переключательном уровне для МОП-схем |
| title_fullStr | Метод параллельной генерации тестов на переключательном уровне для МОП-схем |
| title_full_unstemmed | Метод параллельной генерации тестов на переключательном уровне для МОП-схем |
| title_short | Метод параллельной генерации тестов на переключательном уровне для МОП-схем |
| title_sort | метод параллельной генерации тестов на переключательном уровне для моп-схем |
| topic | Точность, надежность, диагностика |
| topic_facet | Точность, надежность, диагностика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/61731 |
| work_keys_str_mv | AT andrûhinai metodparallelʹnoigeneraciitestovnapereklûčatelʹnomurovnedlâmopshem |