Anna Krivenko

According to our database, Anna Krivenko authored at least 3 papers between 2007 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Constraint-based test pattern generation at the Register-Transfer Level.

Taavi Viilukas, Jaan Raik, Maksim Jenihhin, Raimund Ubar, Anna Krivenko

Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010

2008

Untestable Fault Identification in Sequential Circuits Using Model-Checking.

Jaan Raik, Hideo Fujiwara, Raimund Ubar, Anna Krivenko

Proceedings of the 17th IEEE Asian Test Symposium, 2008

2007

Hierarchical Identification of Untestable Faults in Sequential Circuits.

Jaan Raik, Raimund Ubar, Anna Krivenko, Margus Kruus

Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007