%0 Journal Article %1 journals/tc/HuangCCHB00 %A Huang, Shi-Yu %A Cheng, Kwang-Ting %A Chen, Kuang-Chien %A Huang, Chung-Yang %A Brewer, Forrest %D 2000 %J IEEE Trans. Computers %K dblp %N 5 %P 443-464 %T AQUILA: An Equivalence Checking System for Large Sequential Designs. %U http://dblp.uni-trier.de/db/journals/tc/tc49.html#HuangCCHB00 %V 49

@article{journals/tc/HuangCCHB00, added-at = {2022-12-07T00:00:00.000+0100}, author = {Huang, Shi-Yu and Cheng, Kwang-Ting and Chen, Kuang-Chien and Huang, Chung-Yang and Brewer, Forrest}, biburl = {https://www.bibsonomy.org/bibtex/23059d8a6bf60e391162121114ebaeedf/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/12.859539}, interhash = {030b74518c4f512a7980baa98f74e043}, intrahash = {3059d8a6bf60e391162121114ebaeedf}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 5, pages = {443-464}, timestamp = {2024-04-08T18:31:07.000+0200}, title = {AQUILA: An Equivalence Checking System for Large Sequential Designs.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc49.html#HuangCCHB00}, volume = 49, year = 2000 }