![](/img/cover-not-exists.png)
[IEEE Conference Publications Design, Automation and Test in Europe - Grenoble, France (2015.03.9-2015.03.13)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 - Logical Equivalence Checking of Asynchronous Circuits using Commercial Tools
Saifhashemi, Arash, Huang, Hsin-Ho, Bhalerao, Priyanka, Beerel, Peter A.Year:
2015
Language:
english
DOI:
10.7873/DATE.2015.0299
File:
PDF, 218 KB
english, 2015