Gunter Bartsch

According to our database, Gunter Bartsch authored at least 4 papers between 2006 and 2014.

Collaborative distances:

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

2014

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

2012

A scalable model based RTL framework zamiaCAD for static analysis.

Anton Tsepurov, Gunter Bartsch, Rainer Dorsch, Maksim Jenihhin, Jaan Raik, Valentin Tihhomirov

Proceedings of the 20th IEEE/IFIP International Conference on VLSI and System-on-Chip, 2012

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

Proceedings of the 13th International Workshop on Microprocessor Test and Verification, 2012

2006

Some Common Aspects of Design Validation, Debug and Diagnosis.

Talal Arnaout, Gunter Bartsch, Hans-Joachim Wunderlich

Proceedings of the Third IEEE International Workshop on Electronic Design, 2006