Josef Strnadel. Statistical Model Checking of Approximate Circuits: Challenges and Opportunities. In 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020. pages 1574-1577, IEEE, 2020. [doi]
Abstract is missing.