Assertion checking with PSL and high-level decision diagrams
vastutusandmed
Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
allikas
Digest of papers IEEE 8th Workshop on RTL and High Level Testing : WRTLT'07 : October 12-13, 2007, Beijing, China
ilmumiskoht
[Beijing]
ilmumisaasta
leheküljed
p. 105-110 : ill
märksõna
märkused
Bibliogr.: 17 ref
keel
inglise
Jenihhin, M., Raik, J., Tšepurov, A., Ubar, R.-J. Assertion checking with PSL and high-level decision diagrams // Digest of papers IEEE 8th Workshop on RTL and High Level Testing : WRTLT'07 : October 12-13, 2007, Beijing, China. [Beijing], 2007. p. 105-110 : ill.