hansemandse / wapco

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

Geek Repo

Github PK Tool