full record print

PSL assertion checkers synthesis with ASM based HLS tool ABELITE

author
statement of authorship
Maksim Jenihhin, Samary Baranov, Jaan Raik, Valentin Tihhomirov
source
location of publication
[S.l.]
publisher
year of publication
pages
[6 p.] : ill
conference name, date
LATW 2012: 13th IEEE Latin-American Test Workshop, April 10-13, 2012
conference location
Quito, Ecuador
url
ISBN
978-1-4673-2356-7
notes
Bibliogr.: 24 ref
language
inglise
subject term
keyword
assertion checkers
Property Specification Language (PSL)
High-Level Synthesis (HLS)
Algorithmic State Machines (ASMs)
emulation
debug
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