PositGen-A Verification Suite for Posit Arithmetic.

Annarao Kulkarni, Shashikala Gunderao Pattanshetty, Aneesh Raveendran, David Selvakumar, Sandra Jean, Vivian Desalphine

Browse the full VLSID paper archive.