PSL assertion checkers synthesis with ASM based HLS tool ABELITE
vastutusandmed
Maksim Jenihhin, Samary Baranov, Jaan Raik, Valentin Tihhomirov
ilmumiskoht
[S.l.]
kirjastus/väljaandja
ilmumisaasta
leheküljed
[6 p.] : ill
konverentsi nimetus, aeg
LATW 2012: 13th IEEE Latin-American Test Workshop, April 10-13, 2012
konverentsi toimumispaik
Quito, Ecuador
ISBN
978-1-4673-2356-7
märkused
Bibliogr.: 24 ref
keel
inglise
võtmesõna
assertion checkers
Property Specification Language (PSL)
Algorithmic State Machines (ASMs)
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.