prindi

PSL assertion checkers synthesis with ASM based HLS tool ABELITE

autor
Jenihhin, Maksim
Baranov, Samary
Raik, Jaan
Tihhomirov, Valentin
vastutusandmed
Maksim Jenihhin, Samary Baranov, Jaan Raik, Valentin Tihhomirov
allikas
LATW 2012 : 13th IEEE Latin-American Test Workshop proceedings : April 10th-13th, 2012, Quito, Ecuador
ilmumiskoht
[S.l.]
kirjastus/väljaandja
IEEE
ilmumisaasta
2012
leheküljed
[6 p.] : ill
konverentsi nimetus, aeg
LATW 2012: 13th IEEE Latin-American Test Workshop, April 10-13, 2012
konverentsi toimumispaik
Quito, Ecuador
leitav
https://ieeexplore.ieee.org/document/6261251
märksõna
keerukusteooria
programmeeritav ventiilmaatriks
emuleerimine
seire
silumine (informaatika)
võtmesõna
assertion checkers
Property Specification Language (PSL)
High-Level Synthesis (HLS)
Algorithmic State Machines (ASMs)
emulation
debug
ISBN
978-1-4673-2356-7
märkused
Bibliogr.: 24 ref
keel
inglise
Jenihhin, M., Baranov, S., Raik, J., Tihhomirov, V. PSL assertion checkers synthesis with ASM based HLS tool ABELITE // LATW 2012 : 13th IEEE Latin-American Test Workshop proceedings : April 10th-13th, 2012, Quito, Ecuador. [S.l.] : IEEE, 2012. [6 p.] : ill. https://ieeexplore.ieee.org/document/6261251