Abstract: Non restoring array divider is a complex arithmetic circuit that can be built using very large scale integrated circuit. In this paper, a specification of non restoring array divider is established using rewrite rules. Rewriting induction techniques are d

Key words: Rewriting, Induction, Divider, Specification, Verification