Modeling System C Fixed-Point Arithmetic in HOL.

Behzad Akbarpour, Sofine Tahar

Browse the full ICFEM paper archive.