{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:40:41Z","timestamp":1725669641091},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1109\/fmcad.2009.5351131","type":"proceedings-article","created":{"date-parts":[[2009,12,11]],"date-time":"2009-12-11T13:55:16Z","timestamp":1260539716000},"page":"120-127","source":"Crossref","is-referenced-by-count":3,"title":["Scalable conditional equivalence checking: An automated invariant-generation based approach"],"prefix":"10.1109","author":[{"given":"Jason","family":"Baumgartner","sequence":"first","affiliation":[]},{"given":"Hari","family":"Mony","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Case","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Sawada","sequence":"additional","affiliation":[]},{"given":"Karen","family":"Yorav","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.264"},{"year":"0","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/FAMCAD.2007.12"},{"key":"15","article-title":"Don't care computation using k-clause approximation","author":"mcmillan","year":"2005","journal-title":"IWLS"},{"key":"16","article-title":"Cut-based inductive invariant computation","author":"case","year":"2008","journal-title":"IWLS"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.2009147"},{"key":"14","article-title":"Inductively finding a reachable state space over-approximation","author":"case","year":"2006","journal-title":"IWLS"},{"key":"11","article-title":"Checking safety properties using induction and a SAT-solver","author":"sheeran","year":"2000","journal-title":"FMCAD"},{"year":"0","key":"12"},{"key":"21","article-title":"Symbolic model checking without BDDs","author":"biere","year":"1999","journal-title":"TACAS"},{"year":"0","key":"20"},{"key":"22","article-title":"The dangers of living with an X","author":"turpin","year":"2003","journal-title":"SNUG"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/43.180261"},{"year":"0","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382542"},{"key":"26","article-title":"Scalable automated verification via expert-system guided transformations","author":"mony","year":"2004","journal-title":"FMCAD"},{"key":"27","article-title":"Enhanced verification through temporal decomposition","author":"case","year":"2009","journal-title":"FMCAD"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090934"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2005.1560220"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.1998.655922"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.882520"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.7"},{"journal-title":"Combinational and Sequential Equivalence Checking","year":"2001","author":"kuehlmann","key":"1"},{"journal-title":"Low Power Methodology Manual","year":"2007","author":"keating","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090932"},{"year":"0","key":"5"},{"key":"4","article-title":"SAT-based verification without state space traversal","author":"bjesse","year":"2000","journal-title":"FMCAD"},{"key":"9","article-title":"Recording synthesis history for sequential verification","author":"brayton","year":"2008","journal-title":"FMCAD"},{"year":"0","key":"8"}],"event":{"name":"2009 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2009,11,15]]},"location":"Austin, TX, USA","end":{"date-parts":[[2009,11,18]]}},"container-title":["2009 Formal Methods in Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5344684\/5351113\/05351131.pdf?arnumber=5351131","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T22:20:03Z","timestamp":1489875603000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5351131\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2009.5351131","relation":{},"subject":[],"published":{"date-parts":[[2009,11]]}}}