PSL assertion checkers synthesis with ASM based HLS tool ABELITE
statement of authorship
Maksim Jenihhin, Samary Baranov, Jaan Raik, Valentin Tihhomirov
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
subject term
keyword
assertion checkers
Property Specification Language (PSL)
Algorithmic State Machines (ASMs)
ISBN
978-1-4673-2356-7
notes
Bibliogr.: 24 ref
language
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.