Login / Signup
Anton Karputkin
Publication Activity (10 Years)
Years Active: 2011-2016
Publications (10 Years): 1
Top Topics
Constraint Programming
Circuit Design
Endpoints
Fault Model
Top Venues
ISQED
J. Electron. Test.
DATE
</>
Publications
</>
Anton Karputkin
,
Jaan Raik
A synthesis-agnostic behavioral fault model for high gate-level fault coverage.
DATE
(2016)
Taavi Viilukas
,
Anton Karputkin
,
Jaan Raik
,
Maksim Jenihhin
,
Raimund Ubar
,
Hideo Fujiwara
Identifying Untestable Faults in Sequential Circuits Using Test Path Constraints.
J. Electron. Test.
28 (4) (2012)
Anton Karputkin
,
Raimund Ubar
,
Mati Tombak
,
Jaan Raik
Automated correction of design errors by edge redirection on High-Level Decision Diagrams.
ISQED
(2012)
Anton Karputkin
,
Raimund Ubar
,
Mati Tombak
,
Jaan Raik
Probabilistic equivalence checking based on high-level decision diagrams.
DDECS
(2011)
Anton Karputkin
,
Raimund Ubar
,
Mati Tombak
,
Jaan Raik
Interactive presentation abstract: Automated correction of design errors by edge redirection on high-level decision diagrams.
HLDVT
(2011)