%0 Conference Paper %1 conf/dac/DaiKB15 %A Dai, Yu-Yun %A Khoo, Kei-Yong %A Brayton, Robert K. %B DAC %D 2015 %I ACM %K %P 51:1-51:6 %T Sequential equivalence checking of clock-gated circuits. %U http://dblp.uni-trier.de/db/conf/dac/dac2015.html#DaiKB15 %@ 978-1-4503-3520-1

@inproceedings{conf/dac/DaiKB15, added-at = {2023-12-14T15:09:25.000+0100}, author = {Dai, Yu-Yun and Khoo, Kei-Yong and Brayton, Robert K.}, biburl = {https://www.bibsonomy.org/bibtex/2ee700885dfcda0bb5e4dc1833f25a9dd/admin}, booktitle = {DAC}, crossref = {conf/dac/2015}, ee = {https://doi.org/10.1145/2744769.2744910}, interhash = {e7d9015d6a4ce8718fc8244efc9bc695}, intrahash = {ee700885dfcda0bb5e4dc1833f25a9dd}, isbn = {978-1-4503-3520-1}, keywords = {}, pages = {51:1-51:6}, publisher = {ACM}, timestamp = {2023-12-14T15:09:25.000+0100}, title = {Sequential equivalence checking of clock-gated circuits.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2015.html#DaiKB15}, year = 2015 }