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 (FDL (Selected Papers), 2008)

Modeling of Custom-Designed Arithmetic Components for ABL Normalization. - Evgeny Pavlenko; Markus Wedler; Dominik Stoffel; Wolfgang Kunz; Oliver Wienand; Evgeny Karibaev (MBMV, 2008)