AQUILA: An Equivalence Checking System for Large Sequential Designs.
https://doi.org/10.1109/12.859539
@article{DBLP:journals/tc/HuangCCHB00,
author = {Shi{-}Yu Huang and
Kwang{-}Ting Cheng and
Kuang{-}Chien Chen and
Chung{-}Yang Huang and
Forrest Brewer},
title = {{AQUILA:} An Equivalence Checking System for Large Sequential Designs},
journal = {{IEEE} Trans. Computers},
volume = {49},
number = {5},
pages = {443--464},
year = {2000},
url = {https://doi.org/10.1109/12.859539},
doi = {10.1109/12.859539},
timestamp = {Sat, 20 May 2017 00:24:38 +0200},
biburl = {https://dblp.org/rec/journals/tc/HuangCCHB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签