Assertion checking with PSL and high-level decision diagrams
autor
Jenihhin, Maksim
Raik, Jaan
Tšepurov, Anton
Ubar, Raimund-Johannes
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
2007
leheküljed
p. 105-110 : ill
leitav
https://pld.ttu.ee/~maksim/phd_papers/%5B12%5D%20wrtlt%2707.pdf
märksõna
otsustusdiagrammid
verifikatsioon
märkused
Bibliogr.: 17 ref
keel
inglise