%0 Journal Article %1 journals/tcad/WuH06 %A Wu, Qingwei %A Hsiao, Michael S. %D 2006 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 10 %P 2275-2282 %T State Variable Extraction and Partitioning to Reduce Problem Complexity for ATPG and Design Validation. %U http://dblp.uni-trier.de/db/journals/tcad/tcad25.html#WuH06 %V 25

@article{journals/tcad/WuH06, added-at = {2020-09-24T00:00:00.000+0200}, author = {Wu, Qingwei and Hsiao, Michael S.}, biburl = {https://www.bibsonomy.org/bibtex/21c1c7d91556d7597183bdbf11e1fbd24/dblp}, ee = {https://doi.org/10.1109/TCAD.2005.859512}, interhash = {37c3b8136fc92bb3a9d2387f8288d744}, intrahash = {1c1c7d91556d7597183bdbf11e1fbd24}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 10, pages = {2275-2282}, timestamp = {2020-09-25T11:48:15.000+0200}, title = {State Variable Extraction and Partitioning to Reduce Problem Complexity for ATPG and Design Validation.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad25.html#WuH06}, volume = 25, year = 2006 }