Assertion checking with PSL and high-level decision diagrams
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
pages
p. 105-110 : ill
subject term
notes
Bibliogr.: 17 ref
language
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.