Assertion checking with PSL and high-level decision diagrams
author
Jenihhin, Maksim
Raik, Jaan
Tšepurov, Anton
Ubar, Raimund-Johannes
statement of authorship
Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar
source
Digest of papers IEEE 8th Workshop on RTL and High Level Testing : WRTLT'07 : October 12-13, 2007, Beijing, China
location of publication
[Beijing]
year of publication
2007
pages
p. 105-110 : ill
url
https://pld.ttu.ee/~maksim/phd_papers/%5B12%5D%20wrtlt%2707.pdf
subject term
otsustusdiagrammid
verifikatsioon
notes
Bibliogr.: 17 ref
language
inglise