книги / Автоматизация конструкторского проектирования в радиоэлектронике и вычислительной технике. Автоматизация конструкторского проектирования вычислительной техники

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 -

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..