{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T05:57:53Z","timestamp":1763704673496,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1109\/iccd.2010.5647645","type":"proceedings-article","created":{"date-parts":[[2010,12,9]],"date-time":"2010-12-09T10:42:09Z","timestamp":1291891329000},"page":"486-493","source":"Crossref","is-referenced-by-count":7,"title":["EQUIPE: Parallel equivalence checking with GP-GPUs"],"prefix":"10.1109","author":[{"given":"Debapriya","family":"Chatterjee","sequence":"first","affiliation":[]},{"given":"Valeria","family":"Bertacco","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"Advances and insights into parallel SAT solving","author":"plaza","year":"2006","journal-title":"IWLS"},{"journal-title":"Opencores","year":"0","key":"22"},{"journal-title":"CUDA Compute Unified Device Architecture","year":"2007","key":"17"},{"journal-title":"Sun Microsystems OpenSPARC","year":"0","key":"23"},{"journal-title":"ABC A System for Sequential Synthesis and Verification Berkeley Logic Synthesis and Verification Group","year":"0","key":"18"},{"journal-title":"MiniSat","year":"0","key":"24"},{"key":"15","doi-asserted-by":"crossref","first-page":"822","DOI":"10.1145\/1391469.1391679","article-title":"towards acceleration of fault simulation using graphics processing units","author":"gulati","year":"2008","journal-title":"2008 45th ACM\/IEEE Design Automation Conference DAC"},{"key":"16","article-title":"High-performance gatelevel simulation with GP-GPUs","author":"chatterjee","year":"2009","journal-title":"Proc DATE"},{"journal-title":"FRAIGs A unifying representation for logic synthesis and verification","year":"2005","author":"mishchenko","key":"13"},{"key":"14","article-title":"Incremental sequential equivalence checking and subgraph isomorphism","author":"ray","year":"2009","journal-title":"IWLS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2006.320087"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.804386"},{"journal-title":"IWLS 2005 Benchmarks","year":"0","key":"21"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1988.122451"},{"key":"20","doi-asserted-by":"crossref","first-page":"245","DOI":"10.3233\/SAT190070","article-title":"ManySAT: A parallel SAT solver","volume":"6","author":"hamadi","year":"2009","journal-title":"Journal on Satisability Boolean Modeling and Computation"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1988.122450"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915010"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/240518.240637"},{"key":"6","article-title":"Exploiting structural similarities in a BDD-based verification method","author":"eijk","year":"1994","journal-title":"TPCD"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1991.185305"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1991.139893"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580110"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/266021.266090"}],"event":{"name":"2010 IEEE International Conference on Computer Design (ICCD 2010)","start":{"date-parts":[[2010,10,3]]},"location":"Amsterdam, Netherlands","end":{"date-parts":[[2010,10,6]]}},"container-title":["2010 IEEE International Conference on Computer Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5640356\/5647518\/05647645.pdf?arnumber=5647645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,14]],"date-time":"2020-06-14T09:27:04Z","timestamp":1592126824000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5647645\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/iccd.2010.5647645","relation":{},"subject":[],"published":{"date-parts":[[2010,10]]}}}