Static property checking using ATPG vs. BDD techniques.
https://doi.org/10.1109/TEST.2000.894219
@inproceedings{DBLP:conf/itc/HuangYTC00,
author = {Chung{-}Yang Huang and
Bwolen Yang and
Huan{-}Chih Tsai and
Kwang{-}Ting Cheng},
title = {Static property checking using {ATPG} vs. {BDD} techniques},
booktitle = {Proceedings {IEEE} International Test Conference 2000, Atlantic City,
NJ, USA, October 2000},
pages = {309--316},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/TEST.2000.894219},
doi = {10.1109/TEST.2000.894219},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/itc/HuangYTC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签