Evgeny Karibaev

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev
Modeling of Custom-Designed Arithmetic Components for ABL Normalization. MBMV (2008)
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev
Modeling of Custom-Designed Arithmetic Components for ABL Normalization. FDL (2008)
Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev
A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level. FDL (Selected Papers) (2008)