PSL assertion checkers synthesis with ASM based HLS tool ABELITE
author
Jenihhin, Maksim
Baranov, Samary
Raik, Jaan
Tihhomirov, Valentin
statement of authorship
Maksim Jenihhin, Samary Baranov, Jaan Raik, Valentin Tihhomirov
source
LATW 2012 : 13th IEEE Latin-American Test Workshop proceedings : April 10th-13th, 2012, Quito, Ecuador
location of publication
[S.l.]
publisher
IEEE
year of publication
2012
pages
[6 p.] : ill
conference name, date
LATW 2012: 13th IEEE Latin-American Test Workshop, April 10-13, 2012
conference location
Quito, Ecuador
url
https://ieeexplore.ieee.org/document/6261251
subject term
keerukusteooria
programmeeritav ventiilmaatriks
emuleerimine
seire
silumine (informaatika)
keyword
assertion checkers
Property Specification Language (PSL)
High-Level Synthesis (HLS)
Algorithmic State Machines (ASMs)
emulation
debug
ISBN
978-1-4673-2356-7
notes
Bibliogr.: 24 ref
language
inglise