Formal Verification of Integer Dividers: Division by a Constant - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Formal Verification of Integer Dividers: Division by a Constant

Résumé

Division is one of the most complex and hard to verify arithmetic operations. While verification of major arithmetic operators, such as adders and multipliers, has significantly progressed in recent years, less attention has been devoted to formal verification of dividers. A type of divider that is often used in embedded systems is divide by a constant. This paper presents a formal verification method for different divide-by-constant architectures and the generic restoring dividers based on computer algebra approach. Our experiments for different divider architectures and comparison with exhaustive simulation demonstrates the effectiveness and scalability of the method.
Fichier non déposé

Dates et versions

hal-02132805 , version 1 (17-05-2019)

Identifiants

  • HAL Id : hal-02132805 , version 1

Citer

Atif Yasin, Tiankai Su, Sébastien Pillement, Maciej Ciesielski. Formal Verification of Integer Dividers: Division by a Constant. IEEE Symposium on VLSI (ISVLSI), IEEE, Jul 2019, Miami, United States. paper 8. ⟨hal-02132805⟩
70 Consultations
0 Téléchargements

Partager

More