%0 Conference Paper %1 conf/hldvt/ParthasarathyHC01 %A Parthasarathy, Ganapathy %A Huang, Chung-Yang %A Cheng, Kwang-Ting %B HLDVT %D 2001 %I IEEE Computer Society %K dblp %P 177-182 %T An analysis of ATPG and SAT algorithms for formal verification. %U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2001.html#ParthasarathyHC01 %@ 0-7695-1411-1

@inproceedings{conf/hldvt/ParthasarathyHC01, added-at = {2023-03-23T00:00:00.000+0100}, author = {Parthasarathy, Ganapathy and Huang, Chung-Yang and Cheng, Kwang-Ting}, biburl = {https://www.bibsonomy.org/bibtex/2d24df411c15d747a6341db06a783d491/dblp}, booktitle = {HLDVT}, crossref = {conf/hldvt/2001}, ee = {https://doi.ieeecomputersociety.org/10.1109/HLDVT.2001.972826}, interhash = {04d83c9f30447b4fd6122bffc36d5df7}, intrahash = {d24df411c15d747a6341db06a783d491}, isbn = {0-7695-1411-1}, keywords = {dblp}, pages = {177-182}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:43:56.000+0200}, title = {An analysis of ATPG and SAT algorithms for formal verification.}, url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2001.html#ParthasarathyHC01}, year = 2001 }