Localization of Bugs in Processor Designs Using zamiaCAD Framework. - Anton Tsepurov; Valentin Tihhomirov; Maksim Jenihhin; Jaan Raik; Gunter Bartsch; Jorge Hernán Meza Escobar; Heinz-Dietrich Wuttke (MTV, 2012)

A scalable model based RTL framework zamiaCAD for static analysis. - Anton Tsepurov; Gunter Bartsch; Rainer Dorsch; Maksim Jenihhin; Jaan Raik; Valentin Tihhomirov (VLSI-SoC, 2012)

Assessment of diagnostic test for automated bug localization. - Valentin Tihhomirov; Anton Tsepurov; Maksim Jenihhin; Jaan Raik; Raimund Ubar (LATW, 2013)

Automated Design Error Localization in RTL Designs. - Maksim Jenihhin; Anton Tsepurov; Valentin Tihhomirov; Jaan Raik; Hanno Hantson; Raimund Ubar; Gunter Bartsch; Jorge Hernán Meza Escobar; Heinz-Dietrich Wuttke (IEEE Des. Test, 2014)