External Links

    Journal: Formal Methods in System Design

    Volume 4, Issue 1

    5 -- 31Diederik Verkest, Luc J. M. Claesen, Hugo De Man. A Proof of the Nonrestoring Division Algorithm and its Implementation on an ALU
    33 -- 75Michael Kishinevsky, Alex Kondratyev, Alexander Taubin, Victor Varshavsky. Analysis and Identification of Speed-Independent Circuits on an Event Model
    runs on