Follow
Anton Karputkin
Title
Cited by
Cited by
Year
Synthesis of high-level decision diagrams for functional test pattern generation
R Ubar, J Raik, A Karputkin, M Tombak
2009 MIXDES-16th International Conference Mixed Design of Integrated …, 2009
182009
Canonical representations of high-level decision diagrams.
A Karputkin, R Ubar, J Raik, M Tombak
Estonian Journal of Engineering 16 (1), 2010
152010
A synthesis-agnostic behavioral fault model for high gate-level fault coverage
A Karputkin, J Raik
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2016
92016
Automated correction of design errors by edge redirection on high-level decision diagrams
A Karputkin, R Ubar, M Tombak, J Raik
Thirteenth International Symposium on Quality Electronic Design (ISQED), 686-693, 2012
42012
Probabilistic equivalence checking based on high-level decision diagrams
A Karputkin, R Ubar, M Tombak, J Raik
14th IEEE International Symposium on Design and Diagnostics of Electronic …, 2011
42011
Identifying untestable faults in sequential circuits using test path constraints
T Viilukas, A Karputkin, J Raik, M Jenihhin, R Ubar, H Fujiwara
Journal of Electronic Testing 28, 511-521, 2012
32012
Formal Verification and Error Correction on High-Level Decision Diagrams
A Karputkin
Tallinn University of Technology, 2013
12013
Formal Verification and Error Correction on High-Level Decision Diagrams
A Karputkin
TUT Press, 2012
12012
Verification and Error Correction on High Level Decision Diagrams
A Karputkin
LAP LAMBERT Academic Publishing., 2013
2013
Interactive presentation abstract: Automated correction of design errors by edge redirection on high-level decision diagrams
A Karputkin, R Ubar, M Tombak, J Raik
2011 IEEE International High Level Design Validation and Test Workshop, 83-83, 2011
2011
Status on Implementation-Level Correction
G Hofferek, R Könighofer, JM Schmidt, G Fey, A Finder, A Sülflow, ...
., 2011
2011
Canonical representations of high-level decision diagrams; pp. 39–55
A Karputkin, R Ubar, J Raik, M Tombak
ISSN 1736-7522 (electronic) ISSN 1736-6038 (print) An international scientific journal Formerly: Proceedings of the Estonian Academy of Sciences Engineering (ISSN 1406-0175 …
TJ Seebeck
The system can't perform the operation now. Try again later.
Articles 1–13