Search Results - "Repinski, U."

Combining dynamic slicing and mutation operators for ESL correction by Repinski, U., Hantson, H., Jenihhin, M., Raik, J., Ubar, R., Di Guglielmo, G., Pravadelli, G., Fummi, F.

“…Verification is increasingly becoming the bottleneck in designing digital systems. In fact, most of the verification cycle is not spent on detecting the…”
Get full text

High-level design error diagnosis using backtrace on decision diagrams by Raik, J, Repinski, U, Ubar, R, Jenihhin, M, Chepurov, A

“…The paper proposes a method for locating design errors at the source-level of hardware description language code using the design representation of High-Level…”
Get full text