Formalization of Cadence SPW Fixed-Point Arithmetic in HOL.

Behzad Akbarpour, Abdelkader Dekdouk, Sofine Tahar

Browse the full IFM paper archive.