1. A proof of the nonrestoring division algorithm and its implementation on an ALU

   • D. Verkest
   • L. Claesen
   • H. De Man

   OriginalPaper Pages: 5 - 31

2. Analysis and identification of speed-independent circuits on an event model

   • M. Kishinevsky
   • A. Kondratyev
   • V. Varshavsky

   OriginalPaper Pages: 33 - 75