Application of high-level decision diagrams for simulation-based verification tasks
statement of authorship
Maksim Jenihhin, Jaan Raik, Anton Chepurov and Raimund Ubar
journal volume number month
Vol. 16
year of publication
pages
1, p. 56-77 : ill
ISSN
1736-6038
notes
Bibliogr.: 23 ref
review
Kokkuvõte: Kõrgtaseme otsustusdiagrammide kasutamine simuleerimisel põhinevas riistvara verifitseerimisel
language
inglise
Jenihhin, M., Raik, J., Tšepurov, A., Ubar, R.-J. Application of high-level decision diagrams for simulation-based verification tasks // Estonian journal of engineering (2010) Vol. 16, 1, p. 56-77 : ill.