{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:48:10Z","timestamp":1725612490794},"reference-count":27,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/date.2004.1268824","type":"proceedings-article","created":{"date-parts":[[2004,6,21]],"date-time":"2004-06-21T17:52:40Z","timestamp":1087840360000},"page":"36-41","source":"Crossref","is-referenced-by-count":3,"title":["Enhanced diameter bounding via structural transformation"],"prefix":"10.1109","author":[{"given":"J.","family":"Baumgartner","sequence":"first","affiliation":[]},{"given":"A.","family":"Kuehlmann","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-48153-2_32","article-title":"Exploiting retiming in a guided simulation based validation methodology","author":"gupta","year":"1999","journal-title":"Correct Hardware Design and Verification Methods"},{"journal-title":"Automatic structural abstraction techniques for enhanced verification","year":"2002","author":"baumgartner","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/BF01759032"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2001.968615"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36126-X_4","article-title":"Simplifying circuits for formal verification using parametric representation","author":"moon","year":"2002","journal-title":"Formal Methods in Computer-Aided Design"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48153-2_29"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.804386"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1994.331900"},{"key":"21","doi-asserted-by":"crossref","DOI":"10.1007\/10722167_5","article-title":"An abstraction algorithm for the verification of generalized C-slow designs","author":"baumgartner","year":"2000","journal-title":"Computer-Aided Verification"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337591"},{"key":"22","article-title":"On combining formal and informal verification","author":"yuan","year":"1997","journal-title":"Computer-Aided Verification"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277201"},{"journal-title":"Algorithms for Efficient State Space Search","year":"2001","author":"ganai","key":"24"},{"key":"25","doi-asserted-by":"crossref","DOI":"10.1109\/DAC.1997.597155","article-title":"Equivalence checking using cuts and heaps","author":"kuehlmann","year":"1997","journal-title":"Design Automation Conference"},{"journal-title":"Computer-aided Verification of Coordinating Processes","year":"1994","author":"kurshan","key":"26"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/378239.378470"},{"key":"3","article-title":"Conflict driven learning in a quantified Boolean satisfiability solver","author":"zhang","year":"2002","journal-title":"Int'l Conference on Computer Design"},{"key":"2","article-title":"Symbolic model checking without BDDs","author":"biere","year":"1999","journal-title":"Tools and Algorithms for Construction and Analysis of Systems"},{"key":"1","article-title":"Verifying interacting finite state machines: Complexity issues","author":"aziz","year":"1993","journal-title":"University of California at Berkeley Technical report"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_9"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45657-0_12","article-title":"Property checking via structural analysis","author":"baumgartner","year":"2002","journal-title":"Computer-Aided Verification"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36384-X_24","article-title":"Efficient computation of recurrence diameters","author":"kroening","year":"2003","journal-title":"Proc Int Conf Verification Model Checking Abstract Interpretation"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-40922-X_8","article-title":"Checking safety properties using induction and a SAT-solver","author":"sheeran","year":"2000","journal-title":"Formal Methods in Computer-Aided Design"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2003.1194998"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44585-4_10","article-title":"Transformation-based verification using generalized retiming","author":"kuehlmann","year":"2001","journal-title":"Computer-Aided Verification"},{"key":"8","article-title":"A practical approach to cycle bound estimation","author":"yen","year":"2002","journal-title":"Int'l Workshop on Logic & Syn Thesis"}],"event":{"name":". Design, Automation and Test in Europe Conference and Exhibition","acronym":"DATE-04","location":"Paris, France"},"container-title":["Proceedings Design, Automation and Test in Europe Conference and Exhibition"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8959\/28390\/01268824.pdf?arnumber=1268824","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T09:42:12Z","timestamp":1585820532000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1268824\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/date.2004.1268824","relation":{},"subject":[]}}