Source code to reproduce results from our papers on verification of approximate hardware designs.
Primary LanguageScalaMIT LicenseMIT