книги / Автоматизация конструкторского проектирования в радиоэлектронике и вычислительной технике. Автоматизация конструкторского проектирования вычислительной техники
.pdf
|
P ro b le m s |
both |
of |
c o n s tru c tin g |
th e |
LSI |
m odel |
||||||||||||||||||
and |
of |
o rg a n iz a tio n |
th e |
|
sim u latio n |
p r o c e s s |
in |
c ir |
|||||||||||||||||
cu it |
on |
|
th e |
b a s is |
of |
the |
m odel |
d e v e lo p e d |
a r e |
c o n |
|||||||||||||||
s id e re d . |
|
C ircu it |
sim ulation |
p ro b le m s |
a re |
to u c h e d in |
|||||||||||||||||||
the |
c o n te x t of |
the |
|
n e c e s s ity |
of |
p ro v id in g |
th e |
c o r r e c t |
|||||||||||||||||
sim ulation |
of |
e le m en ts |
an d |
a ls o |
with |
|
re g a rd |
|
to |
c o n |
|||||||||||||||
s id e rin g |
|
th e |
s tru c tu re |
of |
c irc u its |
c o n d itio n e d |
by a r i |
||||||||||||||||||
sin g |
the |
LSI. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
F ig . |
|
5, |
refr. |
4. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
V. |
|
Z viag in , |
A . B utilin. |
C om putation |
the |
|
e stim a |
||||||||||||||||
|
|
te s |
of c o n tro lla b ility |
of |
|
logic |
c irc u it |
e le m e n ts . |
|||||||||||||||||
|
|
- |
T h e |
sc ie n tific |
w o rk s |
|
c o lle c tio n . of |
h ig h er |
|||||||||||||||||
|
|
s c h o o ls |
“C o n s tru c tiv e |
|
d e sig n |
autom ation |
in |
||||||||||||||||||
|
|
ra d io e le c tro n ic s |
an d |
co m p u tin g |
|
m ach in ery ", v. |
|||||||||||||||||||
|
|
5, |
|
V ilnius, |
1985, |
p. |
1 2 5 -1 3 3 . |
|
|
|
|
|
|
|
|
||||||||||
|
T h e |
|
n u m e ric a l |
|
e v a lu a tio n |
|
of |
lo g ic a l |
c irc u it |
c o n |
|||||||||||||||
tro llab ility |
is |
s u g g e s te d . |
E v a lu a tio n s |
|
of |
d ifferen t ty |
|||||||||||||||||||
pe |
r e g is te r s |
a re |
|
g iv en . |
S om e |
a p p ro a c h e s |
for |
im pro |
|||||||||||||||||
v in g |
the |
testa b ility |
an d |
|
for re d u c tio n |
|
the |
te s t s e a r c h |
|||||||||||||||||
a re |
d e s c rib e d . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
F ig . |
|
4, |
refr. |
2. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
R . |
|
M otiejG niene, |
K, |
M o tie ju n a s . |
|
An |
a n a ly s is of |
||||||||||||||||
|
|
d ig ital |
d e v ic e te sta b ility . |
- |
T h e |
|
sc ie n tific |
w o r |
|||||||||||||||||
|
|
k s |
c o lle c tio n |
of |
h ig h e r |
|
s c h o o ls |
|
MC o n s tru c tiv e |
||||||||||||||||
|
|
d e s ig n |
autom ation |
|
in |
rad io e le c tro n ic s |
an d co m |
||||||||||||||||||
|
|
p u tin g |
m ach in ery ", |
v . 5, V ilnius, |
|
1985, |
p .1 3 4 - 1 4 3 . |
||||||||||||||||||
|
In |
th is |
p a p e r |
|
a |
te c h n iq u e |
is |
s u g g e s te d |
w h ich |
||||||||||||||||
e n a b le s |
|
for |
a |
giv en |
b lo ck |
of |
c irc u it |
|
to |
o b tain |
c o n |
||||||||||||||
tro llab ility |
an d |
o b s e rv a b ility |
fa c to rs . |
|
T h e |
te c h n iq u e |
|||||||||||||||||||
ta k e s |
into |
c o n s id e ra tio n |
fu n ctio n s |
re a liz e d |
by |
logic |
|||||||||||||||||||
elem en ts a s |
w ell |
a s |
ram ifica tio n s |
of |
|
c irc u it, |
m em o |
||||||||||||||||||
ry |
e le m en ts |
and |
|
fe e d b a c k s . |
A s |
a |
unit |
of |
the |
|
fa c to r |
||||||||||||||
m agnitude |
an |
o p e ra tio n |
|
of |
a d d r e s s in g to |
tru th |
ta b |
||||||||||||||||||
le s of e le m en ts is a d o p te d . T h e fa c to rs s u c h c a l |
|||||||||||||||||||||||||
c u la te d |
|
e n a b le |
the |
e n g in e e r |
|
- |
m ak e r |
to |
e v a lu a te the |
||||||||||||||||
c irc u it |
b ein g |
d e s ig n e d |
from |
the |
v iew p o in t |
of |
t e s ta |
||||||||||||||||||
bility |
b e fo re |
m ea n s |
for |
m an u fa ctu rin g |
th e |
p ro b a tio - |
171
n a ry |
a rtic le |
will |
b e |
s p e n t |
|
an d |
y e t |
to |
b rin g |
in |
n e |
|
||||||||||
c e s s a r y |
c h a n g e s |
into |
the |
|
c irc u it. |
In |
ad d itio n , |
the |
||||||||||||||
r e s u lts |
of |
|
a n a ly s is |
fu rth er |
c a n |
be |
a p p lie d |
for |
the |
|
||||||||||||
c o n tro l |
of |
|
the |
te s t g e n e ra tio n |
p ro c e ss* |
|
|
|
|
|
||||||||||||
F ig . |
2, |
refr. |
3. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
A . T a rg a m a d z e , V. J u s a s . C h e c k in g te s t c o m p |
|||||||||||||||||||||
|
l e t e n e s s |
a n a ly s is |
s u b s y ste m |
in |
D A S |
" K a y n a s - |
||||||||||||||||
|
3". |
- |
T h e |
scien tific |
w o rk s |
c o lle c tio n |
o f |
h ig |
||||||||||||||
|
h e r |
s c h o o ls |
" C o n stru c tiv e |
d e sig n |
au to m atio n |
in |
||||||||||||||||
|
ra d io e le c tro n ic s |
and |
|
co m p u tin g |
m ac h in e ry ", |
v. |
||||||||||||||||
|
5, |
V ilnius, |
1985, |
p. |
1 4 3 -1 4 9 . |
|
|
|
|
|
|
|
||||||||||
T h e |
p a p e r |
d e a ls |
with |
alg o rith m s |
a n d |
m eth o d s |
|
|||||||||||||||
a p p lie d |
in |
|
DAS |
" K a u n a s - 3 M for |
a n a ly s is |
of c h e c |
||||||||||||||||
king |
te s t |
c o m p le te n e s s . |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
R efr. |
3. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
A .A, |
|
Ja ra m aitis . |
On |
the s e le c tio n |
of |
th e |
v e c to r |
||||||||||||||
|
in |
ran d o m |
|
d is c re te |
d e v ic e |
te s tin g |
s y s te m s . |
- |
||||||||||||||
|
T h e |
|
sc ie n tific |
w o rk s |
|
c o lle c tio n |
of |
h ig h e r |
s c h o o |
|||||||||||||
|
ls |
"C o n stru c tiv e |
d e s ig n |
auto m atio n |
in |
r a d io e |
||||||||||||||||
|
le c tro n ic s |
|
an d |
co m p u tin g |
m a c h in e ry 11, |
v . |
5, |
|||||||||||||||
|
V ilnius, |
1985, |
|
p . |
1 4 9 -1 5 6 . |
|
|
|
|
|
|
|
|
|||||||||
T h e |
p a p e r |
d e a ls |
with |
th e |
p ro b lem of |
s e le c tio n |
||||||||||||||||
of in p u t |
s e q u e n c e s |
in |
ran d o m |
d is c r e te |
d e v ic e |
t e s |
||||||||||||||||
ting |
s y s te m s . |
T h e |
w ay |
of |
finding |
th e |
d e te c tin g v e c |
|||||||||||||||
to r e n s u rin g |
high |
d e te c tin g |
p ro b a b ilitie s |
is |
s u g g e s |
|||||||||||||||||
ted . |
|
|
|
|
|
|
|
|
|
|
|
|
|
' |
|
|
|
|
|
|
|
|
F ig . |
3, |
|
refr. |
|
5.. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 7 2
С О Д Е Р Ж А Н И Е |
|
|
Д.И. Батищев, В.Ф. Морозов. Гибкая трассировка пе |
3 |
|
чатных проводников сучетом метрических ограничений |
||
В.Г.- Марагин, Б.Н. Деньдобренко. Оптимальное раз |
XX |
|
мещение элементов наплате |
........................................................... |
|
Ю.Н. Стрельников, И.В. Польщикова, Г.Д. Дмитре- |
|
|
вич. Методические проблемы конструирования печатных |
|
|
плат в диалоговых САПР .......................................................... |
;« |
Х8 |
В.А. Жилявичюс, Р.Й. Балтрушайтис. Критерии равно |
|
|
мерного размещения ..................................................................... |
|
26 |
Е.Г. Ойхман, Математические оценки структур дан |
|
|
ных в оперативной памяти для интерактивных САПР ....... |
43 |
|
В.А. Штуйкис. Метод компоновки групп на основе |
|
|
многократного решения вспомогательной задачи о назна |
|
|
чениях ............................. |
|
48 |
Р.П. Базилевич, Ю.М, Гресько. Синтез топологиче |
|
|
ских укладок с минимизацией числа межслойных перехо |
|
|
дов ......................................................... |
|
57 |
AJ4. Бершадский, Е.В. Карпов, И.В. Тужилов. При |
|
|
менение функции загруженности монтажного пространства |
|
|
при коммутационном проектировании матричных БИС и |
|
|
ТЭЗ .................................................................................................... |
|
67 |
Е.Г. Ойхман. Модели системных библиотек элементов |
|
|
для интерактивных САПРпечатных • плат .............................. |
7 2 |
|
Й.-К.Л. Матицкас, Г.С. Палубецкис, Генерирование |
|
|
тест-задач разрезания графа с'заданным оптимальным |
|
|
решением ...................... |
|
78 |
В.А. Штуйкис, Г.К. Сабаляускас. Приближенный ал |
|
|
горитм определения маршрута коммивояжера на подмно |
|
|
жестве узлов координатной |
сетки |
85 |
Э.Ш. Гайфуллин, Г.Н. Ярочкина. Модели элементов на |
|
этапе планаризации при топологическом проектировании |
|
гибридной интегральной схемы ............................ .................... |
94 |
Л.В. Носов. Поиск ближайшей точки при графическом |
|
редактировании топологии ИС .............................. |
ХОЗ |
В.А. Жилявичюс, АЛО. Сакалаускас, Интерактивные |
|
методы САПР печатного монтажа: обоснование, взаимо |
|
действие ...... |
Х09 |
A.Э. Таргамадэе, Э.В. Барейша. Моделирование ло
гических схем с БИС ............................................................... |
ХХ4 |
B.Ф. Звягин, А.А. Бутылин. Расчет оценок управля
емости элементов логической схемы .................................... |
Х25 |
Р.К. Мотеноиене, К,Л. Мотеюнас. Анализ контроле- |
|
пригодности цифровых устройств .......... |
Х34 |
А.Э. Таргамадэе, £.П . Юсас. Подсистема анализа |
|
полноты проверяюшшнт'естов в САПР "КАУНАС-3" ...... |
Х43 |
А.А. Ярамайтис. О выборе проверяющего вектора в |
|
вероятностных системах диагностирования дискретных |
Х49 |
устройств |
Министерство высшего и среднего специального образования Литовской ССР Каунасский политехнический институт им* Антанаса Снечкуса
АВТОМАТИЗАЦИЯ КОНСТРУКТОРСКОГО ПРОЕКТИРОВАНИЯ В РАДИОЭЛЕКТРОНИКЕ И ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКЕ Том 5
Автоматизация |
конструкторского проектирования |
вычислительной техники |
|
Ответственный |
за издание А. Т а р г а м а д з е |
Техн. редактор |
А. Я н к я в и ч ю т е |
Корректор Т. Н о в о с ё л о в а Рукопись поступила в отдел технической подготовки докумен
тации Центра услуг технической информации Х985 ОХ 2 9 .
Подписано в печать Х985 |
05 |
.0 6 . Бумага типографская |
60х |
х84/Х 6 . Уел. леч. л. Х0,23, |
учет.-изд. лл .9,29. Тираж |
350 |
|
экз. Заказ N° *853. Цена |
X руб. ЛВ 002 96. |
|
|
Издательско-редакционный |
совет Министерства высшего |
и сред |
него специального образования Литовской ССР. Вильнюс, ул. Гоголя, 2.
Отпечатано ротапринтом в типографии Центра услуг технической информации.