Anton Tsepurov, Valentin Tihhomirov, Maksim Jenihhin, Jaan Raik, Gunter Bartsch, Jorge H. Meza Escobar, Heinz-Dietrich Wuttke. Localization of Bugs in Processor Designs Using zamiaCAD Framework. In 13th International Workshop on Microprocessor Test and Verification, MTV 2012, Austin, TX, USA, December 10-13, 2012. pages 41-47, IEEE Computer Society, 2012. [doi]
Abstract is missing.