I
nte
rna
t
io
na
l J
o
urna
l o
f
E
lect
rica
l a
nd
Co
m
p
ute
r
E
ng
in
ee
ring
(
I
J
E
CE
)
Vo
l.
7
,
No
.
6
,
Dec
em
b
er
201
7
,
p
p
.
3
3
1
8
~
3
3
2
2
I
SS
N:
2088
-
8708
,
DOI
: 1
0
.
1
1
5
9
1
/i
j
ec
e.
v
7
i
6
.
pp
3
3
1
8
-
332
2
3318
J
o
ur
na
l ho
m
ep
a
g
e
:
h
ttp
:
//ia
e
s
jo
u
r
n
a
l.c
o
m/o
n
lin
e/in
d
ex
.
p
h
p
/I
JE
C
E
A Uniqu
e Test
B
e
nch f
o
r
Va
rio
us
S
y
ste
m
-
on
-
a
-
Chi
p
Sridev
i C
hitt
i
1
,
P
.
Cha
nd
ra
s
ekha
r
2
,
M
.
Ash
a
ra
ni
3
1
De
p
a
rt
m
e
n
t
o
f
El
e
c
tro
n
ics
a
n
d
C
o
m
m
u
n
ica
ti
o
n
E
n
g
in
e
e
rin
g
,
S
R
E
n
g
in
e
e
rin
g
Co
ll
e
g
e
,
In
d
ia
2
De
p
a
rt
m
e
n
t
o
f
El
e
c
tro
n
ics
a
n
d
C
o
m
m
u
n
ica
ti
o
n
E
n
g
in
e
e
rin
g
,
OU
-
H
y
d
e
ra
b
a
d
,
In
d
ia
3
De
p
a
rt
m
e
n
t
o
f
El
e
c
tro
n
ics
a
n
d
C
o
m
m
u
n
ica
ti
o
n
E
n
g
in
e
e
rin
g
,
JN
T
U
-
H
y
d
e
ra
b
a
d
,
In
d
ia
Art
icle
I
nfo
AB
ST
RAC
T
A
r
ticle
his
to
r
y:
R
ec
eiv
ed
Ma
r
25
,
2
0
1
7
R
ev
i
s
ed
J
u
n
2
3
,
2
0
1
7
A
cc
ep
ted
J
u
l
15
,
2
0
1
7
T
h
is
p
a
p
e
r
d
isc
u
ss
e
s
a
sta
n
d
a
r
d
f
lo
w
o
n
h
o
w
a
n
a
u
to
m
a
ted
tes
t
b
e
n
c
h
e
n
v
iro
n
m
e
n
t
w
h
ich
is
ra
n
d
o
m
i
z
e
d
w
it
h
c
o
n
stra
in
ts
c
a
n
v
e
ri
fy
a
S
OC
e
ff
ici
e
n
tl
y
f
o
r
it
s
f
u
n
c
ti
o
n
a
li
ty
a
n
d
c
o
v
e
ra
g
e
.
T
o
d
a
y
,
in
th
e
ti
m
e
o
f
m
u
lt
i
m
il
li
o
n
g
a
te
A
S
ICs,
re
u
sa
b
le
in
tellec
tu
a
l
p
r
o
p
e
rty
(IP
),
a
n
d
s
y
ste
m
-
on
-
a
-
c
h
ip
(S
o
C)
d
e
sig
n
s,
v
e
ri
f
ica
ti
o
n
c
o
n
su
m
e
s
a
b
o
u
t
7
0
%
o
f
th
e
d
e
sig
n
e
ff
o
rt.
A
u
to
m
a
ti
o
n
m
e
a
n
s
a
m
a
c
h
in
e
c
o
m
p
lete
s
a
ta
sk
a
u
to
n
o
m
o
u
sly
,
q
u
ick
e
r
a
n
d
w
it
h
p
re
d
icta
b
le
re
su
lt
s.
A
u
to
m
a
t
io
n
re
q
u
ires
sta
n
d
a
rd
p
ro
c
e
ss
e
s
w
it
h
we
ll
-
d
e
f
in
e
d
in
p
u
ts
a
n
d
o
u
tp
u
ts.
By
u
s
in
g
th
is
e
ff
icie
n
t
m
e
th
o
d
o
lo
g
y
it
i
s
p
o
ss
ib
le
to
p
ro
v
id
e
a
g
e
n
e
ra
l
p
u
rp
o
se
a
u
to
m
a
ti
o
n
so
lu
t
io
n
f
o
r
v
e
rif
ic
a
ti
o
n
,
g
iv
e
n
to
d
a
y
’s
tec
h
n
o
lo
g
y
.
T
o
o
ls
a
u
t
o
m
a
ti
n
g
v
a
rio
u
s
p
o
rti
o
n
s
o
f
th
e
v
e
ri
f
ica
ti
o
n
p
ro
c
e
ss
a
re
b
e
in
g
in
tro
d
u
c
e
d
.
He
re
,
w
e
h
a
v
e
Co
m
m
u
n
ica
ti
o
n
b
a
se
d
S
OC
T
h
e
c
o
n
ten
t
o
f
th
e
p
a
p
e
r
d
isc
u
ss
e
s
a
b
o
u
t
t
h
e
m
e
th
o
d
o
l
o
g
y
u
se
d
to
v
e
r
ify
su
c
h
a
S
OC
-
b
a
se
d
e
n
v
iro
n
m
e
n
t.
Ca
d
e
n
c
e
Eff
icie
n
t
V
e
rif
ica
ti
o
n
M
e
th
o
d
o
l
o
g
y
li
b
ra
ries
a
re
e
x
p
lo
re
d
f
o
r
th
e
so
l
u
ti
o
n
o
f
th
is
p
r
o
b
lem
.
W
e
c
a
n
tak
e
th
is
a
s
a
sta
te
o
f
a
rt
a
p
p
ro
a
c
h
in
v
e
rify
in
g
S
OC
e
n
v
iro
n
m
e
n
ts.
T
h
e
g
o
a
l
o
f
th
is
p
a
p
e
r
is
to
e
m
p
h
a
siz
e
th
e
u
n
iq
u
e
tes
tb
e
n
c
h
f
o
r
d
if
f
e
r
e
n
t
S
OC
u
sin
g
Eff
icie
n
t
V
e
rif
ica
ti
o
n
Co
n
stru
c
ts
im
p
lem
e
n
ted
in
sy
ste
m
v
e
ril
o
g
f
o
r
S
OC
v
e
rif
ica
ti
o
n
.
K
ey
w
o
r
d
:
E
n
v
ir
o
n
m
e
n
IP
R
eu
s
e
SOC
T
estb
en
ch
Ver
if
icatio
n
m
et
h
o
d
o
lo
g
y
VI
P
Co
p
y
rig
h
t
©
2
0
1
7
In
stit
u
te o
f
A
d
v
a
n
c
e
d
E
n
g
i
n
e
e
rin
g
a
n
d
S
c
ien
c
e
.
Al
l
rig
h
ts
re
se
rv
e
d
.
C
o
r
r
e
s
p
o
nd
ing
A
uth
o
r
:
Srid
ev
i C
h
itti
,
Dep
ar
t
m
en
t o
f
E
lectr
o
n
ics a
n
d
C
o
m
m
u
n
icat
io
n
E
n
g
i
n
ee
r
in
g
,
SR
E
n
g
i
n
ee
r
in
g
C
o
lle
g
e
,
An
at
h
asa
g
ar
,
Hasan
p
ar
t
h
y
,
W
ar
an
g
al,
I
n
d
ia.
E
m
ail: sr
id
e
v
ir
ed
d
y
.
ar
r
a
m
@
g
m
ail.
co
m
1.
I
NT
RO
D
UCT
I
O
N
T
h
is
m
et
h
o
d
o
lo
g
y
is
a
n
o
p
e
n
s
o
u
r
ce
S
y
s
te
m
Ver
ilo
g
lib
r
ar
y
allo
w
i
n
g
estab
li
s
h
m
e
n
t
o
f
f
le
x
ib
le,
r
eu
s
ab
le
v
er
i
f
icatio
n
co
m
p
o
n
en
ts
a
n
d
ass
e
m
b
li
n
g
g
r
ea
t
t
est
en
v
ir
o
n
m
e
n
ts
u
tili
z
in
g
c
o
n
s
tr
ain
ed
r
a
n
d
o
m
s
ti
m
u
l
u
s
g
en
er
atio
n
a
n
d
f
u
n
cti
o
n
al
co
v
er
a
g
e
m
et
h
o
d
o
lo
g
ies..
I
ts
m
ai
n
p
r
o
m
i
s
e
i
s
to
p
r
o
g
r
e
s
s
te
s
tb
en
c
h
r
e
u
s
e,
m
ak
e
v
er
i
f
icat
io
n
co
d
e
h
an
d
ie
r
an
d
cr
ea
te
n
e
w
m
ar
k
e
t
f
o
r
u
n
iv
er
s
al,
h
ig
h
-
q
u
al
it
y
Ver
i
f
ica
tio
n
I
P
(
I
n
tellect
u
al
P
r
o
p
er
ty
)
.
Ma
j
o
r
ad
v
an
tag
e
s
o
f
ef
f
icie
n
t
Me
th
o
d
o
lo
g
y
:
Oth
er
b
etter
asp
ec
ts
ar
e
e
n
d
-
of
-
test
o
b
j
ec
tio
n
h
an
d
li
n
g
u
s
in
g
p
h
a
s
es,
u
p
d
ate
d
p
h
ase
m
et
h
o
d
s
,
co
m
m
a
n
d
li
n
e
p
r
o
ce
s
s
o
r
,
an
d
co
n
f
i
g
_
d
b
c
h
an
g
es.
a.
C
allb
ac
k
s
w
er
e
u
p
d
ated
w
it
h
t
h
e
f
o
llo
w
i
n
g
ad
d
itio
n
al
f
u
n
cti
o
n
alit
y
:
-
a
ca
llb
ac
k
iter
ato
r
clas
s
t
y
p
e
w
id
e
ca
llb
ac
k
s
u
p
p
o
r
t
(
in
s
tead
o
f
j
u
s
t
i
n
s
tan
ce
s
p
ec
i
f
i
c)
ca
llb
ac
k
t
y
p
e
r
eg
is
tr
atio
n
f
o
r
t
y
p
e
ch
ec
k
i
n
g
.
-
ad
d
ed
ad
d
an
d
d
elete
ca
llb
ac
k
b
y
n
a
m
e.
-
m
o
r
e
ca
llb
ac
k
tr
ac
i
n
g
w
a
s
ad
d
ed
.
b.
Ob
j
ec
tio
n
s
w
er
e
r
estru
c
tu
r
ed
w
it
h
t
h
e
f
o
llo
w
i
n
g
ad
d
itio
n
al
f
u
n
ct
io
n
alit
y
:
-
ad
d
ed
a
s
tr
i
n
g
d
escr
ip
tio
n
f
o
r
r
aise/d
r
o
p
.
-
ad
d
ed
ab
ilit
y
to
ad
d
ex
ter
n
al
ca
llb
ac
k
s
to
o
b
j
ec
tio
n
s
.
A
r
ep
o
r
t
ca
tch
er
ca
llb
ac
k
w
a
s
ad
d
ed
to
allo
w
u
s
er
s
to
m
a
n
ag
e
m
e
s
s
a
g
es
v
ia
an
e
x
ter
n
a
l
ca
llb
ac
k
.
T
h
e
ca
tch
er
u
s
e
s
t
h
e
s
ta
n
d
ar
d
ca
llb
ac
k
m
ec
h
an
is
m
o
n
u
v
m
_
r
ep
o
r
t_
o
b
j
ec
ts
s
o
th
at
ca
ll
b
ac
k
s
ca
n
b
e
ad
d
ed
Evaluation Warning : The document was created with Spire.PDF for Python.
I
J
E
C
E
I
SS
N:
2088
-
8708
A
Un
iq
u
e
Tes
t B
en
ch
fo
r
V
a
r
io
u
s
S
ystem
o
n
a
C
h
ip
(
S
r
id
ev
i Ch
itti
)
3319
t
y
p
e
w
id
e
o
r
to
a
s
p
ec
i
f
ic
r
ep
o
r
t
o
b
j
ec
t.
Usi
n
g
t
h
ese
ad
v
a
n
ta
g
es
co
n
s
tr
u
cted
a
r
eu
s
ab
le
test
b
en
c
h
f
o
r
v
er
if
ica
tio
n
o
f
v
ar
io
u
s
So
C
’
s
[
1
]
.
A
n
y
o
n
e
lo
o
k
i
n
g
at
t
h
e
co
d
e
w
ill
b
e
ab
le
to
u
n
d
er
s
ta
n
d
h
o
w
r
ep
o
r
ts
ar
e
co
n
tr
o
lled
an
d
g
en
er
ated
,
an
d
it
w
i
ll b
e
th
e
s
a
m
e
f
r
o
m
p
r
o
j
ec
t to
p
r
o
j
ec
t.
2.
DE
V
E
L
O
P
M
E
NT
O
F
T
E
ST
B
E
NCH
2
.
1
.
Ver
if
ica
t
io
n E
nv
iro
n
m
ent
T
h
e
n
o
r
m
al
p
r
o
ce
s
s
f
o
r
d
ev
e
lo
p
in
g
a
v
er
i
f
icatio
n
en
v
ir
o
n
m
en
t
is
b
o
tto
m
-
u
p
.
B
lo
ck
s
a
r
e
in
itial
l
y
v
er
if
ied
i
n
b
lo
ck
-
le
v
el
e
n
v
ir
o
n
m
en
ts
,
a
n
d
th
e
n
t
h
e
i
n
teg
r
atio
n
o
f
t
h
e
b
lo
ck
s
in
to
So
C
i
s
v
e
r
if
ied
b
y
c
h
ip
-
le
v
el
test
b
en
c
h
[
2
]
.
R
e
f
er
s
t
o
t
h
i
s
m
et
h
o
d
o
lo
g
y
a
s
I
P
-
ce
n
tr
ic
m
eth
o
d
o
lo
g
y
b
ec
a
u
s
e
th
e
b
lo
c
k
s
ar
e
co
n
s
id
er
ed
I
P
s
[3
]
.
T
h
e
f
o
cu
s
o
f
b
lo
ck
-
le
v
el
v
er
i
f
icatio
n
i
s
to
v
er
if
y
t
h
e
b
lo
ck
s
s
y
s
te
m
a
ticall
y
,
wh
ile
t
h
e
c
h
ip
-
le
v
el
v
er
if
ica
tio
n
is
f
o
r
ch
ec
k
i
n
g
t
h
e
i
n
te
g
r
atio
n
o
f
t
h
e
b
lo
ck
s
an
d
th
e
co
r
r
ec
tn
es
s
o
f
ap
p
licatio
n
s
ce
n
ar
io
s
.
A
b
o
tto
m
-
u
p
v
er
if
icatio
n
ap
p
r
o
ac
h
h
a
s
s
e
v
er
al
b
en
ef
i
ts
:
L
o
ca
lizatio
n
o
f
b
u
g
s
:
f
i
n
d
in
g
b
u
g
s
w
i
th
o
u
t d
if
f
ic
u
lt
y
E
asier
to
an
al
y
s
is
all
t
h
e
b
lo
ck
m
o
d
es a
t th
e
b
lo
ck
-
le
v
el
C
o
n
f
id
en
ce
i
n
th
e
b
lo
ck
-
le
v
el
allo
w
i
n
g
th
e
m
to
b
e
r
e
u
s
ed
in
a
n
u
m
b
er
o
f
p
r
o
j
ec
ts
.
I
n
th
is
s
ec
tio
n
w
e
d
ep
ict
th
e
r
ec
o
m
m
en
d
ed
o
r
d
er
in
g
f
o
r
d
ev
elo
p
m
e
n
t
o
f
v
er
i
f
icatio
n
e
n
v
ir
o
n
m
en
t
ele
m
e
n
ts
.
S
u
c
h
o
r
d
er
in
g
m
u
s
t b
e
in
w
i
ts
w
h
en
d
e
v
elo
p
in
g
ex
ec
u
tab
le
v
er
i
f
icatio
n
p
lan
s
.
I
n
ter
f
ac
es
Ag
e
n
ts
: D
r
i
v
er
,
Mo
n
ito
r
,
Seq
u
en
ce
r
,
an
d
s
eq
u
e
n
ce
s
B
lo
ck
lev
el:
co
n
f
ig
u
r
atio
n
,
V
ir
tu
al
s
eq
u
e
n
ce
r
,
Vir
tu
al
s
eq
u
en
ce
s
,
co
v
er
ag
e
m
o
d
el,
co
n
s
t
r
ain
ed
r
an
d
o
m
s
eq
u
en
ce
s
,
s
co
r
eb
o
ar
d
.
Fig
u
r
e
1
.
A
u
n
iq
u
e
T
est B
en
ch
f
o
r
So
C
2
.
2
.
Q
ua
lify
VIP’
s
Qu
ali
f
y
t
h
e
VI
P
t
h
r
o
u
g
h
o
u
t
d
ev
elo
p
m
e
n
t
a
n
d
b
ef
o
r
e
r
elea
s
i
n
g
t
h
e
m
.
First,
s
e
v
er
al
to
o
ls
c
an
co
n
d
u
ct
s
tatic
c
h
ec
k
in
g
o
n
VI
P
co
m
p
o
n
en
t
s
f
o
r
co
n
f
o
r
m
a
n
ce
to
co
d
in
g
s
t
y
le
s
a
n
d
co
m
m
o
n
er
r
o
r
s
.
T
h
ey
ca
n
also
g
i
v
e
s
tatis
t
ics
ab
o
u
t
th
e
s
ize
o
f
co
d
e,
c
o
v
er
g
r
o
u
p
s
an
d
ch
ec
k
s
.
Seco
n
d
l
y
,
t
y
p
icall
y
a
s
i
m
u
lato
r
ca
n
p
r
o
v
i
d
e
in
f
o
r
m
atio
n
ab
o
u
t
m
e
m
o
r
y
co
n
s
u
m
p
t
io
n
a
n
d
p
er
f
o
r
m
an
ce
b
o
ttlen
ec
k
s
o
f
VI
P
[
4
]
.
T
h
ir
d
,
VI
P
s
ar
e
r
o
b
u
s
t
t
o
u
s
er
m
i
s
ta
k
es
w
h
et
h
er
in
co
n
n
ec
tio
n
s
o
r
p
r
o
p
er
u
s
e.
De
v
elo
p
ed
s
an
it
y
c
h
ec
k
s
th
a
t
ca
n
f
la
g
ea
r
l
y
a
u
s
er
er
r
o
r
.
Fin
all
y
,
p
ee
r
r
ev
ie
w
is
s
till
h
el
p
f
u
l to
p
o
in
t
-
o
u
t i
s
s
u
es t
h
at
ar
e
m
is
s
ed
in
t
h
e
o
th
er
s
tep
s
.
2
.
3
.
B
et
t
er
Reg
re
s
s
io
n
M
a
na
g
em
ent
T
h
e
u
s
u
al
s
cr
ip
t
s
t
h
at
co
m
p
il
e
an
d
r
u
n
te
s
tcase
s
co
m
e
s
h
o
r
t
w
h
e
n
r
u
n
n
in
g
m
u
lti
f
ac
eted
UVM
So
C
v
er
if
ica
tio
n
en
v
ir
o
n
m
e
n
t.
T
y
p
ical
d
esire
s
o
n
r
u
n
m
a
n
ag
e
m
e
n
t
is
to
k
ee
p
tr
ac
k
o
f
s
ee
d
s
,
lo
g
f
ile
s
o
f
d
if
f
er
e
n
t
test
s
,
f
lex
ib
il
it
y
o
f
r
u
n
n
i
n
g
d
i
f
f
er
en
t
g
r
o
u
p
s
o
f
test
s
,
ex
ec
u
t
io
n
ti
m
e,
an
d
r
u
n
n
in
g
o
n
lo
ca
l
m
ac
h
i
n
e
o
r
g
r
id
.
On
ce
a
r
e
g
r
ess
io
n
is
r
u
n
we
f
i
n
is
h
u
p
w
it
h
d
ata
t
h
at
d
esire
s
to
b
e
p
r
o
ce
s
s
ed
to
co
m
e
o
u
t
f
o
r
u
s
e
f
u
l
in
f
o
r
m
atio
n
s
u
ch
as
w
h
ic
h
te
s
ts
p
ass
ed
/
f
ailed
,
f
r
eq
u
en
t
f
ailu
r
e
m
es
s
ag
e
s
,
w
h
ich
test
s
w
er
e
m
o
r
e
ef
f
icie
n
t
a
n
d
w
h
ic
h
s
ee
d
s
p
r
o
d
u
ce
d
i
m
p
r
o
v
ed
co
v
er
ag
e.
Evaluation Warning : The document was created with Spire.PDF for Python.
I
SS
N
:
2
0
8
8
-
8708
I
J
E
C
E
Vo
l.
7
,
No
.
6
,
Dec
em
b
er
201
7
:
3
3
1
8
–
3
3
2
2
3320
2
.
4
.
E
nv
iro
n
m
e
nt
Reuse
E
n
v
ir
o
n
m
e
n
t
s
s
h
o
u
ld
b
e
s
elf
-
r
elian
t
h
a
v
i
n
g
o
n
l
y
f
a
m
iliar
i
t
y
ab
o
u
t
its
co
m
p
o
n
en
ts
a
n
d
u
n
i
v
er
s
a
l
ele
m
e
n
ts
a
n
d
ca
n
co
m
m
u
n
ica
te
o
n
l
y
t
h
r
o
u
g
h
co
n
f
ig
u
r
atio
n
m
ec
h
a
n
i
s
m
,
g
lo
b
al
ev
e
n
ts
o
r
T
L
M
co
n
n
ec
tio
n
s
s
u
c
h
as
r
eset
e
v
e
n
t.
Fo
llo
w
i
n
g
th
e
s
e
r
u
le
s
,
an
e
n
v
ir
o
n
m
e
n
t
at
th
e
b
lo
ck
-
lev
e
l
ca
n
b
e
r
eu
s
ed
at
th
e
ch
ip
-
le
v
el
b
u
ild
in
g
th
e
c
h
ip
-
lev
el
e
n
v
ir
o
n
m
e
n
t t
h
e
i
n
teg
r
atio
n
o
f
b
lo
ck
-
le
v
el
en
v
ir
o
n
m
e
n
ts
[
5
]
-
[
7
]
.
2
.
5
.
Sequ
ence
Re
us
e
I
t
is
i
m
p
o
r
tan
t
to
w
r
ite
d
o
w
n
s
eq
u
e
n
ce
s
w
i
th
s
tu
d
y
o
n
r
eu
s
i
n
g
t
h
e
m
.
I
n
t
h
is
v
er
if
icat
io
n
m
et
h
o
d
o
lo
g
y
,
th
er
e
ar
e
t
w
o
t
y
p
es
o
f
s
eq
u
e
n
ce
s
:
s
eq
u
e
n
ce
wh
ich
s
e
n
d
s
tr
an
s
ac
tio
n
s
an
d
s
e
q
u
en
ce
s
th
at
s
tar
ts
s
eq
u
e
n
ce
s
o
n
s
eq
u
en
ce
r
s
.
T
h
e
latter
is
ca
lled
a
v
ir
tu
a
l seq
u
e
n
ce
[
8
]
.
A
lt
h
o
u
g
h
g
o
als
ar
e
d
is
s
i
m
ilar
b
et
w
ee
n
b
lo
ck
a
n
d
ch
ip
le
v
el
test
i
n
g
,
s
o
m
e
v
ir
t
u
al
s
eq
u
e
n
ce
s
f
r
o
m
b
lo
ck
-
le
v
el
ca
n
b
e
r
eu
s
ed
at
ch
ip
-
le
v
el
a
s
in
teg
r
atio
n
test
s
.
I
n
ter
f
ac
es
th
at
b
ec
o
m
e
in
ter
n
al
at
th
e
c
h
ip
-
lev
el
ca
n
b
e
r
eg
u
lar
l
y
s
ti
m
u
lated
t
h
r
o
u
g
h
s
o
m
e
ex
ter
n
al
i
n
ter
f
a
ce
.
I
n
o
r
d
er
to
co
n
s
tr
u
ct
th
e
last
t
y
p
e
o
f
v
ir
tu
al
s
eq
u
en
ce
s
r
e
u
s
ab
le
at
ch
ip
-
le
v
el,
it
is
b
etter
to
p
lan
a
h
ea
d
to
ab
s
tr
ac
t
th
e
d
ata
f
r
o
m
t
h
e
p
r
o
to
co
l.
Usi
n
g
t
h
i
s
ef
f
icien
t
v
er
if
ica
tio
n
test
b
en
ch
,
t
h
e
s
eq
u
e
n
ce
s
ca
n
b
e
r
e
u
s
ab
le
.
U
s
e
f
u
n
ct
io
n
al
ab
s
tr
ac
tio
n
b
y
d
ef
i
n
i
n
g
f
u
n
ctio
n
s
i
n
th
e
v
ir
t
u
al
s
eq
u
e
n
ce
th
at
ca
n
b
e
o
v
er
r
id
d
en
lik
e
:
w
r
ite(
r
eg
is
ter
_
n
a
m
e,
v
a
lu
e)
;
r
ea
d
(
r
eg
is
ter
_
n
a
m
e,
v
alu
e)
;
2
.
6
.
Sco
re
bo
a
rd
A
cr
itica
l
co
m
p
o
n
e
n
t
o
f
s
el
f
-
c
h
ec
k
i
n
g
tes
tb
en
c
h
es
i
s
th
e
s
co
r
eb
o
ar
d
th
at
is
ac
co
u
n
tab
le
f
o
r
ch
ec
k
i
n
g
d
ata
in
teg
r
it
y
f
r
o
m
i
n
p
u
t
to
o
u
tp
u
t.
A
s
co
r
eb
o
ar
d
is
a
T
L
M
co
m
p
o
n
e
n
t
[
9
]
,
ca
r
e
s
h
o
u
l
d
b
e
tak
en
n
o
t
m
a
k
e
ac
tiv
e
o
n
a
c
y
cle
b
y
c
y
c
le
b
asis
b
u
t
r
ath
er
at
th
e
tr
an
s
ac
tio
n
lev
el.
I
n
ef
f
icie
n
t
v
er
i
f
icatio
n
m
e
th
o
d
o
lo
g
y
,
t
h
e
s
co
r
eb
o
ar
d
is
u
s
u
all
y
co
n
n
ec
t
ed
to
at
lea
s
t
2
a
n
al
y
s
i
s
p
o
r
ts
o
n
e
f
r
o
m
t
h
e
m
o
n
ito
r
s
o
n
t
h
e
i
n
p
u
t(
s
)
s
id
e
a
n
d
t
h
e
an
o
th
er
o
n
t
h
e
o
u
tp
u
t(
s
)
Fi
g
u
r
e
2
d
ep
icts
th
ese
co
n
n
ec
tio
n
s
.
A
Sco
r
eb
o
ar
d
o
p
er
atio
n
ca
n
b
e
s
u
m
m
ar
ized
in
th
e
f
o
llo
w
i
n
g
eq
u
atio
n
s
:
E
x
p
ec
ted
=
T
F(
I
n
p
u
t T
r
an
s
ac
tio
n
)
;
C
o
m
p
ar
e(
A
c
tu
al
,
E
x
p
ec
ted
)
;
T
F :
T
r
an
s
f
er
f
u
n
ct
io
n
r
ep
r
esen
ti
n
g
t
h
e
DUT
f
u
n
ctio
n
alit
y
f
r
o
m
i
n
p
u
ts
to
o
u
tp
u
ts
.
Fig
u
r
e
2
.
Diag
r
a
m
o
f
Sco
r
eb
o
ar
d
So
m
eti
m
es
th
e
o
p
er
atio
n
i
s
d
escr
ib
ed
as
co
m
p
ar
ato
r
-
p
r
ed
icto
r
.
W
h
er
e
th
e
co
m
p
ar
ato
r
ch
ec
k
s
t
h
e
ac
tu
al
v
er
s
u
s
p
r
ed
icted
(
co
m
p
ar
e
f
u
n
ctio
n
)
an
d
th
e
p
r
ed
icto
r
co
m
p
u
te
s
th
e
n
e
x
t
o
u
tp
u
t
(
tr
an
s
f
er
f
u
n
ctio
n
)
.
Usu
al
l
y
t
h
e
tr
an
s
f
er
f
u
n
ctio
n
i
s
n
o
t static b
u
t c
an
m
o
d
if
y
d
ep
en
d
in
g
o
n
t
h
e
co
n
f
ig
u
r
atio
n
o
f
th
e
d
ev
ices.
3.
A
B
ASI
C
CO
M
M
UNICAT
I
O
N
SO
C
3
.
1
.
B
lo
ck
s
de
s
cr
iptio
n
I
n
th
e
b
elo
w
f
i
g
u
r
e
T
h
e
I
2
C
-
b
u
s
is
a
T
w
o
-
w
ir
e,
h
al
f
-
d
u
p
lex
d
ata
lin
k
i
n
v
e
n
ted
an
d
s
p
ec
if
ied
b
y
P
h
ilip
s
(
n
o
w
NXP
)
.
T
h
e
tw
o
l
in
es
o
f
t
h
e
I
2
C
-
b
u
s
,
SC
L
an
d
SD
A
,
ar
e
b
i
-
d
ir
ec
tio
n
al
an
d
o
p
en
-
d
r
ain
,
p
u
lled
u
p
Evaluation Warning : The document was created with Spire.PDF for Python.
I
J
E
C
E
I
SS
N:
2088
-
8708
A
Un
iq
u
e
Tes
t B
en
ch
fo
r
V
a
r
io
u
s
S
ystem
o
n
a
C
h
ip
(
S
r
id
ev
i Ch
itti
)
3321
b
y
r
esi
s
to
r
s
.
SD
A
is
a
Ser
ial
Data
lin
e
an
d
SC
L
is
a
Ser
ial
C
lo
ck
lin
e.
De
v
ices
o
n
t
h
e
b
u
s
d
r
ag
a
lin
e
to
g
r
o
u
n
d
to
s
e
n
d
a
lo
g
ical
ze
r
o
an
d
r
elea
s
e
a
lin
e
to
s
e
n
d
a
lo
g
i
ca
l o
n
e.
Ser
ial
p
er
ip
h
er
al
in
ter
f
ac
es
(
S
P
I
)
ar
e
c
o
m
m
o
n
l
y
u
s
ed
to
p
r
o
v
id
e
ec
o
n
o
m
ical
b
o
ar
d
lev
el
in
ter
f
ac
es
b
et
w
ee
n
v
ar
io
u
s
d
ev
ice
s
s
u
ch
as
Di
g
ital
to
A
n
a
lo
g
C
o
n
v
er
ter
’
s
,
m
icr
o
co
n
tr
o
ller
s
,
An
alo
g
to
Di
g
ita
l
C
o
n
v
er
ter
’
s
an
d
o
t
h
er
.
Ma
n
y
I
C
’
s
m
a
n
u
f
ac
t
u
r
er
s
m
a
n
u
f
ac
tu
r
e
co
m
p
o
n
e
n
t
s
t
h
at
ar
e
co
m
p
a
tib
le
w
it
h
SP
I
.
Ser
ial
co
m
m
u
n
icatio
n
i
s
th
e
p
r
o
ce
s
s
o
f
tr
an
s
f
er
d
ata
o
n
e
b
it
at
a
tim
e,
s
eq
u
e
n
tial
l
y
,
o
v
er
a
lin
k
.
A
s
er
ial
co
n
n
ec
tio
n
r
eq
u
ir
es
s
m
aller
am
o
u
n
t
o
f
in
ter
co
n
n
ec
t
in
g
ca
b
les
(
e.
g
.
,
w
ir
es/
f
ib
er
s
)
an
d
h
e
n
ce
o
cc
u
p
ies
les
s
s
p
ac
e.
Fo
r
h
ig
h
p
er
f
o
r
m
an
ce
s
y
s
te
m
s
,
FP
G
A
s
also
u
s
es
SP
I
to
in
ter
f
ac
e
a
s
a
o
u
tp
u
t
to
a
h
o
s
t,
as
a
i
n
p
u
t
t
o
s
en
s
o
r
s
.
T
h
e
Un
iv
er
s
al
Ser
ial
B
u
s
i
s
a
s
er
ial
b
u
s
s
ta
n
d
ar
d
to
in
t
er
f
ac
e
d
ev
ices.
First
d
es
ig
n
e
d
to
allo
w
co
n
n
ec
tio
n
s
to
th
e
P
C
w
it
h
o
u
t
ex
p
an
s
io
n
ca
r
d
s
,
th
e
USB
b
ec
am
e
a
ac
tu
al
co
m
m
u
n
ic
atio
n
s
tan
d
ar
d
f
o
r
ap
p
r
o
x
im
a
tel
y
all
elec
tr
o
n
ic
d
ev
ices.
T
h
e
USB
co
m
m
u
n
i
ca
tio
n
is
f
o
r
all
ti
m
e
in
itiat
ed
b
y
a
Ho
s
t
a
n
d
r
esp
o
n
d
ed
b
y
a
Dev
ice.
Un
i
v
er
s
al
Ser
ial
h
u
b
s
ac
t
as
s
w
i
tc
h
es
to
e
x
p
an
d
t
h
e
n
u
m
b
er
o
f
d
ev
ic
es
p
er
Ho
s
t.
Sp
ec
ial
On
th
e
-
Go
d
ev
ices
ca
n
ac
t
as
eith
er
Dev
ice
o
r
h
o
s
t
an
d
ca
n
ch
an
g
e
r
o
l
es
w
h
ile
co
n
n
ec
ted
to
o
th
er
OT
G
Dev
ices
T
h
e
Ma
s
ter
an
d
Slav
e
A
MB
A®
A
XI
VI
P
(
A
d
v
an
ce
d
eXt
en
s
ib
le
I
n
ter
f
ac
e)
is
a
ex
tr
e
m
el
y
f
lex
ib
le
an
d
co
n
f
i
g
u
r
ab
le
v
er
if
icatio
n
I
P
th
at
ca
n
b
e
s
i
m
p
l
y
i
n
te
g
r
at
ed
in
to
an
y
S
OC
v
er
if
ica
tio
n
T
h
e
I
2
S
b
u
s
(
I
n
ter
-
I
C
So
u
n
d
b
u
s
)
i
s
a
3
-
w
ir
e,
h
a
lf
-
d
u
p
lex
s
er
ial
li
n
k
f
o
r
lin
k
i
n
g
d
ig
ita
l
au
d
io
d
ev
ices
i
n
a
n
elec
tr
o
n
ic
s
y
s
te
m
.
T
h
e
b
u
s
h
an
d
les
au
d
io
d
ata
an
d
clo
ck
s
in
d
ep
en
d
en
tl
y
to
m
i
n
i
m
ize
j
itter
th
at
m
a
y
ca
u
s
e
d
ata
d
is
to
r
tio
n
in
th
e
d
ig
ital
an
alo
g
s
y
s
te
m
.
I
2
S
b
u
s
is
w
id
el
y
u
s
ed
b
y
eq
u
ip
m
en
t
an
d
I
C
m
a
n
u
f
ac
tu
r
er
s
.
T
h
is
d
o
cu
m
e
n
t
d
escr
ib
es
th
e
i
m
p
le
m
e
n
tatio
n
o
f
I
2
S
C
o
n
tr
o
ller
.
T
h
e
Un
iv
er
s
al
As
y
n
c
h
r
o
n
o
u
s
R
ec
ei
v
er
/T
r
an
s
m
it
ter
is
a
h
ig
h
l
y
f
lex
ib
l
e
an
d
co
n
f
i
g
u
r
ab
le
v
er
i
f
icatio
n
I
P
th
at
ca
n
b
e
s
i
m
p
l
y
i
n
teg
r
at
ed
in
to
a
n
y
S
OC
v
er
i
f
icatio
n
en
v
ir
o
n
m
e
n
t
[
1
0
]
-
[
1
3
]
.
Fig
u
r
e
3
.
B
asic c
o
m
m
u
n
icatio
n
SO
C
4.
RE
SU
L
T
S
Fig
u
r
e
4
an
d
5
s
h
o
w
s
th
e
co
m
p
ar
i
s
o
n
b
et
w
ee
n
a
T
estb
en
ch
u
s
in
g
Op
en
Ver
if
icatio
n
M
eth
o
d
o
lo
g
y
an
d
a
U
n
iq
u
e
T
estb
en
c
h
u
s
i
n
g
E
f
f
icie
n
t V
er
i
f
icatio
n
Me
t
h
o
d
o
lo
g
y
f
r
o
m
t
h
e
f
i
g
u
r
e
Un
iq
u
e
test
b
en
c
h
ta
k
es
th
e
m
i
n
i
m
u
m
ti
m
e
f
o
r
s
i
m
u
la
ti
o
n
w
it
h
co
m
p
ar
i
s
o
n
to
t
h
e
o
th
er
o
n
e
.
U
n
iq
u
e
tes
tb
en
ch
u
s
i
n
g
E
f
f
icie
n
t
Ver
if
icatio
n
Me
th
o
d
o
lo
g
y
i
s
m
o
r
e
co
m
p
ete
n
t
to
co
m
p
lete
v
er
if
icatio
n
w
i
th
in
a
s
h
o
r
t
ti
m
e.
Fig
u
r
e
6
s
h
o
w
s
t
h
e
s
i
m
u
lat
io
n
w
av
e
f
o
r
m
o
f
SO
C
h
as
b
ee
n
ca
r
r
ied
o
u
t
u
s
i
n
g
E
f
f
icie
n
t
Ver
if
ica
tio
n
Me
t
h
o
d
o
lo
g
y
.
Fro
m
th
i
s
w
a
v
e
f
o
r
m
,
co
n
cl
u
d
e
tr
an
s
m
i
s
s
io
n
an
d
r
ec
ep
tio
n
o
f
d
ata
th
r
o
u
g
h
t
h
e
d
esig
n
u
n
d
er
v
er
i
f
icati
o
n
(
DU
V
).
I2
S
GPIO
U
ART
T
i
m
e
r
0
-
2
In
te
r
c
o
n
n
e
c
t
B
u
s
In
te
r
c
o
U
S
B
Evaluation Warning : The document was created with Spire.PDF for Python.
I
SS
N
:
2
0
8
8
-
8708
I
J
E
C
E
Vo
l.
7
,
No
.
6
,
Dec
em
b
er
201
7
:
3
3
1
8
–
3
3
2
2
3322
Fig
u
r
e
4
.
Si
m
u
latio
n
R
ep
o
r
t u
s
in
g
No
r
m
al
T
estb
en
c
h
Fig
u
r
e
5
.
Si
m
u
latio
n
R
ep
o
r
t u
s
in
g
U
n
iq
u
e
T
estb
en
ch
Fig
u
r
e
6
.
Si
m
u
latio
n
R
es
u
lt
s
5.
CO
NCLU
SI
O
N
T
h
e
s
p
ec
if
icatio
n
s
o
f
S
y
s
te
m
o
n
C
h
ip
(
So
C
)
ar
e
v
er
if
ied
s
u
cc
ess
f
u
l
l
y
u
s
i
n
g
E
f
f
icie
n
t
m
et
h
o
d
o
lo
g
y
o
n
C
ad
e
n
ce
s
i
m
u
lato
r
.
T
h
e
v
er
if
icatio
n
m
eth
o
d
o
lo
g
y
h
elp
ed
in
p
er
f
o
r
m
an
ce
i
m
p
r
o
v
e
m
en
t
a
n
d
s
i
m
u
latio
n
ti
m
e
r
ed
u
ctio
n
i
n
So
C
v
er
if
ic
atio
n
ti
m
e
f
r
o
m
p
r
ev
io
u
s
m
et
h
o
d
o
lo
g
y
(
i.e
4
.
6
8
s
ec
to
1
.
0
8
s
ec
)
.
Ver
if
icatio
n
i
s
v
er
y
cr
u
c
ial
to
f
i
n
d
b
u
g
s
w
h
ic
h
o
n
l
y
ap
p
ea
r
w
it
h
r
an
d
o
m
s
ti
m
u
lu
s
.
T
h
e
co
n
s
tr
ain
ed
r
an
d
o
m
ap
p
r
o
ac
h
is
m
o
r
e
ti
m
e
-
e
f
f
icien
t
f
o
r
r
ea
ch
i
n
g
co
v
er
ag
e
g
o
al
co
m
p
ar
ed
to
d
ir
ec
t
ed
test
m
et
h
o
d
.
RE
F
E
R
E
NC
E
S
[1
]
S
.
K
.
M
o
h
a
n
ty
,
e
t
a
l.
,
“
Tes
t
b
e
n
c
h
A
u
to
m
a
ti
o
n
to
o
v
e
rc
o
m
e
v
e
ri
f
ica
ti
o
n
c
h
a
ll
e
n
g
e
o
f
S
OC
In
terc
o
n
n
e
c
t,
”
2
0
1
5
In
ter
n
a
t
io
n
a
l
C
o
n
fer
e
n
c
e
o
n
M
a
n
a
n
d
M
a
c
h
i
n
e
In
ter
fa
c
in
g
(
M
AM
I
)
,
Bh
u
b
a
n
e
sw
a
r,
p
p
.
1
-
4
,
2
0
1
5
.
[2
]
V
.
S
.
Ra
sh
m
i,
e
t
a
l.
,
“
A
m
e
th
o
d
o
l
o
g
y
to
re
u
se
ra
n
d
o
m
I
P
stim
u
li
in
a
n
S
o
C
f
u
n
c
t
io
n
a
l
v
e
rif
ic
a
ti
o
n
e
n
v
iro
n
m
e
n
t,
”
2
0
1
5
1
9
th
I
n
ter
n
a
t
io
n
a
l
S
y
mp
o
si
u
m o
n
VL
S
I
De
sig
n
a
n
d
T
e
st
,
A
h
m
e
d
a
b
a
d
,
p
p
.
1
-
5
,
2
0
1
5
.
[3
]
M
.
M
e
f
e
n
z
a
,
e
t
a
l.
,
“
A
u
to
m
a
ti
c
UV
M
En
v
iro
n
m
e
n
t
G
e
n
e
ra
ti
o
n
fo
r
A
ss
e
rti
o
n
-
Ba
se
d
a
n
d
F
u
n
c
ti
o
n
a
l
V
e
rif
ica
ti
o
n
o
f
S
y
st
e
m
C
De
sig
n
s,
”
2
0
1
4
1
5
th
I
n
ter
n
a
ti
o
n
a
l
M
icr
o
p
ro
c
e
ss
o
r
T
e
st
a
n
d
Ver
if
ica
ti
o
n
W
o
rk
sh
o
p
,
A
u
st
in
,
T
X
,
p
p
.
1
6
-
21
,
2
0
1
4
.
[4
]
F
.
Ha
e
d
ick
e
,
e
t
a
l.
,
“
CR
A
V
E:
A
n
a
d
v
a
n
c
e
d
c
o
n
stra
in
e
d
ra
n
d
o
m
v
e
ri
f
i
c
a
ti
o
n
e
n
v
iro
n
m
e
n
t
f
o
r
S
y
st
e
m
C,
”
2
0
1
2
In
ter
n
a
t
io
n
a
l
S
y
mp
o
si
u
m o
n
S
y
ste
m o
n
C
h
ip
(
S
o
C)
,
T
a
m
p
e
re
,
p
p
.
1
-
7
,
2
0
1
2
.
[5
]
J.
Be
rg
e
ro
n
,
“
W
rit
in
g
T
e
stb
e
n
c
h
e
s Us
in
g
S
y
ste
m
V
e
ril
o
g
,
”
S
p
rin
g
e
r
,
Bu
sin
e
ss
M
e
d
ia,
2
0
0
6
.
[6
]
ww
w
.
d
e
si
g
n
-
re
u
se
.
c
o
m
/article
s/1
5
3
5
1
/co
m
p
lex
-
so
c
-
v
e
ri
f
ica
ti
o
n
-
u
s
in
g
-
a
rm
-
p
ro
c
e
ss
o
r.
h
tm
l
[7
]
A
c
c
e
ll
e
ra
,
UV
M
1
.
1
Re
f
e
re
n
c
e
M
a
n
u
a
l,
2
0
1
1
[8
]
S
.
Ro
se
n
b
e
rg
a
n
d
K
.
A
.
M
e
a
d
e
,
“
A
P
ra
c
ti
c
a
l
G
u
id
e
to
A
d
o
p
ti
n
g
t
h
e
Un
iv
e
rsa
l
V
e
rif
ica
ti
o
n
M
e
t
h
o
d
o
lo
g
y
(UV
M
)
,
”
Ca
d
e
n
c
e
De
sg
in
S
y
ste
m
s,
2
0
1
0
.
[9
]
UV
M
1
.
1
k
it
-
i
n
c
lu
d
e
s UV
M
b
a
s
e
c
las
s li
b
ra
ries
-
F
re
e
d
o
w
n
lo
a
d
s
-
ww
w
.
u
v
m
w
o
rld
.
o
rg
[1
0
]
A
c
c
e
ll
e
ra
Or
g
a
n
iza
ti
o
n
In
c
V
e
rif
ica
ti
o
n
I
n
tellec
tu
a
l
P
r
o
p
e
rty
T
e
c
h
n
ica
l
S
u
b
c
o
m
m
it
tee
.
[1
1
]
h
tt
p
:
//
ww
w
.
a
c
c
e
ll
e
ra
.
o
rg
/ac
ti
v
it
ie
s/c
o
m
m
it
te
e
s/v
ip
[1
2
]
Y
.
N
.
Yu
n
,
“
Be
y
o
n
d
UV
M
f
o
r
P
r
a
c
ti
c
a
l
S
o
C
V
e
rif
ica
ti
o
n
,
”
I
S
OCC
,
2
0
1
1
.
[1
3
]
“
Ge
n
e
ric
S
y
ste
m
v
e
ril
o
g
UV
M
b
a
se
d
re
u
s
a
b
le
v
e
rif
i
c
a
ti
o
n
e
n
v
iro
n
m
e
n
t
f
o
r
e
ff
icie
n
t
v
e
ri
f
ica
ti
o
n
o
f
I
m
a
g
e
sig
n
a
l
p
ro
c
e
ss
in
g
IP
/S
OCs
,
”
In
ter
n
a
ti
o
n
a
l
j
o
u
r
n
a
l
o
f
VL
S
I
d
e
sig
n
&
c
o
mm
u
n
ica
ti
o
n
sy
ste
ms
(
VL
S
ICS
)
,
v
o
l
/i
ss
u
e
:
3
(
6
)
,
2
0
1
2
.
Evaluation Warning : The document was created with Spire.PDF for Python.