TalTech publikatsioonid
pealdis Jenihhin, M., Baranov, S., Raik, J., Tihhomirov, V.
maakood us
keel inglise
autor Jenihhin, Maksim
Baranov, Samary
Raik, Jaan
Tihhomirov, Valentin
pealkiri PSL assertion checkers synthesis with ASM based HLS tool ABELITE
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
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