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 | 18 | 2009 |
Canonical representations of high-level decision diagrams. A Karputkin, R Ubar, J Raik, M Tombak Estonian Journal of Engineering 16 (1), 2010 | 15 | 2010 |
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 | 9 | 2016 |
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 | 4 | 2012 |
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 | 4 | 2011 |
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 | 3 | 2012 |
Formal Verification and Error Correction on High-Level Decision Diagrams A Karputkin Tallinn University of Technology, 2013 | 1 | 2013 |
Formal Verification and Error Correction on High-Level Decision Diagrams A Karputkin TUT Press, 2012 | 1 | 2012 |
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 | | |