Evgeny Karibaev

According to our database, Evgeny Karibaev authored at least 2 papers in 2008.

Collaborative distances:

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

2008

Modeling of Custom-Designed Arithmetic Components for ABL Normalization.

Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008

A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level.

Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev

Proceedings of the Languages for Embedded Systems and their Applications, 2008