Anna Krivenko

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Publications

Taavi Viilukas, Jaan Raik, Maksim Jenihhin, Raimund Ubar, Anna Krivenko
Constraint-based test pattern generation at the Register-Transfer Level. DDECS (2010)
Jaan Raik, Hideo Fujiwara, Raimund Ubar, Anna Krivenko
Untestable Fault Identification in Sequential Circuits Using Model-Checking. ATS (2008)
Jaan Raik, Raimund Ubar, Anna Krivenko, Margus Kruus
Hierarchical Identification of Untestable Faults in Sequential Circuits. DSD (2007)