[IEEE 2012 13th Latin American Test Workshop - LATW - Quito, Ecuador (2012.04.10-2012.04.13)] 2012 13th Latin American Test Workshop (LATW) - PSL assertion checkers synthesis with ASM based HLS tool ABELITE
Jenihhin, Maksim, Baranov, Samary, Raik, Jaan, Tihhomirov, ValentinYear:
2012
Language:
english
DOI:
10.1109/latw.2012.6261251
File:
PDF, 1.20 MB
english, 2012