{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T19:46:09Z","timestamp":1792957569074,"version":"4.5.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,6,8]],"date-time":"2008-06-08T00:00:00Z","timestamp":1212883200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,6,8]]},"DOI":"10.1145\/1391469.1391679","type":"proceedings-article","created":{"date-parts":[[2008,7,30]],"date-time":"2008-07-30T12:09:58Z","timestamp":1217419798000},"page":"822-827","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":81,"title":["Towards acceleration of fault simulation using graphics processing units"],"prefix":"10.1145","author":[{"given":"Kanupriya","family":"Gulati","sequence":"first","affiliation":[{"name":"Texas A&M University, College Station, TX"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sunil P.","family":"Khatri","sequence":"additional","affiliation":[{"name":"Texas A&M University, College Station, TX"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2008,6,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Parallel Algorithms for VLSI Computer-aided Design","author":"Banerjee P.","year":"1994","unstructured":"P. Banerjee , Parallel Algorithms for VLSI Computer-aided Design . Prentice Hall , June 1994 . ISBN-13: 978--0130158352 (ISBN-10: 0130158356). P. Banerjee, Parallel Algorithms for VLSI Computer-aided Design. Prentice Hall, June 1994. ISBN-13: 978--0130158352 (ISBN-10: 0130158356)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008275810655"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1983.1270024"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.1987.295211"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00159833"},{"key":"e_1_3_2_1_6_1","first-page":"564","volume-title":"Pipelined fault simulation on parallel machines using the circuitflow graph,\" in Computer Design: VLSI in Computers and Processors","author":"Tai S.","year":"1993","unstructured":"S. Tai and D. Bhattacharya , \" Pipelined fault simulation on parallel machines using the circuitflow graph,\" in Computer Design: VLSI in Computers and Processors , pp. 564 -- 567 , Oct 1993 . S. Tai and D. Bhattacharya, \"Pipelined fault simulation on parallel machines using the circuitflow graph,\" in Computer Design: VLSI in Computers and Processors, pp. 564--567, Oct 1993."},{"key":"e_1_3_2_1_7_1","first-page":"51","volume-title":"NJ, USA)","author":"Pfister G. F.","year":"1982","unstructured":"G. F. Pfister , \"The yorktown simulation engine : Introduction,\" in DAC '82: Proceedings of the 19th conference on Design automation, (Piscataway , NJ, USA) , pp. 51 -- 54 , IEEE Press , 1982 . G. F. Pfister, \"The yorktown simulation engine: Introduction,\" in DAC '82: Proceedings of the 19th conference on Design automation, (Piscataway, NJ, USA), pp. 51--54, IEEE Press, 1982."},{"key":"e_1_3_2_1_8_1","first-page":"218","volume-title":"CA, USA)","author":"Beece D. K.","year":"1988","unstructured":"D. K. Beece , G. Deibert , G. Papp , and F. Villante , \" The ibm engineering verification engine,\" in DAC '88: Proceedings of the 25th ACM\/IEEE conference on Design automation, (Los Alamitos , CA, USA) , pp. 218 -- 224 , IEEE Computer Society Press , 1988 . D. K. Beece, G. Deibert, G. Papp, and F. Villante, \"The ibm engineering verification engine,\" in DAC '88: Proceedings of the 25th ACM\/IEEE conference on Design automation, (Los Alamitos, CA, USA), pp. 218--224, IEEE Computer Society Press, 1988."},{"key":"e_1_3_2_1_9_1","first-page":"198","volume-title":"IEEE International Conference on","author":"Ozguner F.","year":"1988","unstructured":"F. Ozguner and R. Daoud , \" Vectorized fault simulation on the cray x-mp supercomputer,\" in Computer-Aided Design, 1988. ICCAD-88. Digest of Technical Papers ., IEEE International Conference on , pp. 198 -- 201 , Nov 1988 . F. Ozguner and R. Daoud, \"Vectorized fault simulation on the cray x-mp supercomputer,\" in Computer-Aided Design, 1988. ICCAD-88. Digest of Technical Papers., IEEE International Conference on, pp. 198--201, Nov 1988."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/63047.63064"},{"key":"e_1_3_2_1_11_1","first-page":"268","volume-title":"IEEE International Conference on","author":"Raghavan R.","year":"1988","unstructured":"R. Raghavan , J. Hayes , and W. Martin , \" Logic simulation on vector processors,\" in Computer-Aided Design, Digest of Technical Papers ., IEEE International Conference on , pp. 268 -- 271 , Nov 1988 . R. Raghavan, J. Hayes, and W. Martin, \"Logic simulation on vector processors,\" in Computer-Aided Design, Digest of Technical Papers., IEEE International Conference on, pp. 268--271, Nov 1988."},{"key":"e_1_3_2_1_12_1","volume-title":"Nov","author":"Ishiura N.","year":"1987","unstructured":"N. Ishiura , M. Ito , and S. Yajima , \" High-speed fault simulation using a vector processor,\" in Proceedings of the International Conference on Computer-Aided Design ICCAD , Nov 1987 . N. Ishiura, M. Ito, and S. Yajima, \"High-speed fault simulation using a vector processor,\" in Proceedings of the International Conference on Computer-Aided Design ICCAD, Nov 1987."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/92.766745"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.215006"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2004.26"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1281500.1281643"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1188455.1188672"},{"key":"e_1_3_2_1_18_1","volume-title":"July","author":"Schive H.-Y.","year":"2007","unstructured":"H.-Y. Schive , C.-H. Chien , S.-K. Wong , Y.-C. Tsai , and T. Chiueh , \" Graphic-card cluster for astrophysics (GraCCA) - performance tests,\" in Submitted to New Astronomy , July 2007 . H.-Y. Schive, C.-H. Chien, S.-K. Wong, Y.-C. Tsai, and T. Chiueh, \"Graphic-card cluster for astrophysics (GraCCA) - performance tests,\" in Submitted to New Astronomy, July 2007."},{"key":"e_1_3_2_1_19_1","unstructured":"\"IWLS 2005 Benchmarks.\" http:\/\/www.iwls.org\/iwls2005\/benchmarks.html.  \"IWLS 2005 Benchmarks.\" http:\/\/www.iwls.org\/iwls2005\/benchmarks.html."},{"key":"e_1_3_2_1_20_1","unstructured":"\"NVIDIA Tesla GPU Computing Processor.\" http:\/\/www.nvidia.com\/object\/IO_43499.html.  \"NVIDIA Tesla GPU Computing Processor.\" http:\/\/www.nvidia.com\/object\/IO_43499.html."},{"key":"e_1_3_2_1_21_1","first-page":"616","volume-title":"DC, USA)","author":"Parkes S.","year":"1995","unstructured":"S. Parkes , P. Banerjee , and J. Patel , \" A parallel algorithm for fault simulation based on proofs,\" in ICCD '95: Proceedings of the 1995 International Conference on Computer Design, (Washington , DC, USA) , p. 616 , IEEE Computer Society , 1995 . S. Parkes, P. Banerjee, and J. Patel, \"A parallel algorithm for fault simulation based on proofs,\" in ICCD '95: Proceedings of the 1995 International Conference on Computer Design, (Washington, DC, USA), p. 616, IEEE Computer Society, 1995."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.103504"},{"key":"e_1_3_2_1_23_1","unstructured":"\"NVIDIA CUDA Introduction.\" http:\/\/www.beyond3d.com\/content\/articles\/12\/1.  \"NVIDIA CUDA Introduction.\" http:\/\/www.beyond3d.com\/content\/articles\/12\/1."},{"key":"e_1_3_2_1_24_1","unstructured":"\"NVIDIA CUDA Homepage.\" http:\/\/developer.nvidia.com\/object\/cuda.html.  \"NVIDIA CUDA Homepage.\" http:\/\/developer.nvidia.com\/object\/cuda.html."}],"event":{"name":"DAC '08: The 45th Annual Design Automation Conference 2008","location":"Anaheim California","acronym":"DAC '08","sponsor":["The EDA Consortium","IEEE\/CASS\/CANDE\/CEDA","SIGDA ACM Special Interest Group on Design Automation"]},"container-title":["Proceedings of the 45th annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1391469.1391679","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1391469.1391679","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:13Z","timestamp":1750258033000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1391469.1391679"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6,8]]},"references-count":24,"alternative-id":["10.1145\/1391469.1391679","10.1145\/1391469"],"URL":"https:\/\/doi.org\/10.1145\/1391469.1391679","relation":{},"subject":[],"published":{"date-parts":[[2008,6,8]]},"assertion":[{"value":"2008-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}