{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:18:30Z","timestamp":1730222310312,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/fmcad.2015.7542249","type":"proceedings-article","created":{"date-parts":[[2016,8,15]],"date-time":"2016-08-15T20:28:56Z","timestamp":1471292936000},"page":"25-32","source":"Crossref","is-referenced-by-count":1,"title":["Universal boolean functional vectors"],"prefix":"10.1109","author":[{"given":"Jesse","family":"Bingham","sequence":"first","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/BFb0028769"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/ICCAD.1990.129859"},{"year":"2013","author":"franco","journal-title":"Handbook of Combinatorial Optimization chapter Algorithms for the Satisfiability Problem","key":"ref12"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/DATE.2003.1253707"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/PACRIM.1997.620351"},{"year":"2015","author":"huddleston","journal-title":"Personal communication","key":"ref15"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/DATE.2005.75"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/43.298036"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1007\/978-1-4615-1101-4"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1007\/s10009-002-0081-6"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1109\/MEMCOD.2011.5970515"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/TC.1978.1675141"},{"key":"ref27","first-page":"1","article-title":"Challenges for formal verification in industrial setting","author":"slobodov\u00e1","year":"2006","journal-title":"FMICS\/PDMC volume 4346 of Lecture Notes in Computer Science"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/DAC.1999.781349"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/T-C.1970.222806"},{"key":"ref29","first-page":"157","article-title":"Enhanced reachability analysis via automated dynamic netlist-based hint generation","author":"xu","year":"2012","journal-title":"Formal Methods in Computer-Aided Design (FMCAD) 2012"},{"key":"ref5","first-page":"33","article-title":"On the complexity of the hidden weighted bit function for various BDD models","volume":"33","author":"bollig","year":"1998","journal-title":"Theoretical Informatics and Applications"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/12.73590"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/TC.1986.1676819"},{"year":"2007","journal-title":"Intel Corporation","key":"ref2"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/T-C.1974.223967"},{"year":"0","key":"ref1"},{"year":"2002","author":"kaivola","journal-title":"Proceedings of the Conference on Design Automation and Test in Europe DATE’02 pages 20- IEEE Computer Society","article-title":"Formal verification of the pentium 4 floating-point multiplier","key":"ref20"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/ICCAD.1996.569909"},{"key":"ref21","first-page":"149","article-title":"Symbolic trajectory evaluation: The primary validation vehicle for next generation Intel ® processor graphics fpu","author":"kirankumar","year":"2012","journal-title":"Formal Methods in Computer-Aided Design (FMCAD) 2012"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1007\/11560548_11"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/FMCAD.2013.6679397"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1007\/BF01383966"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/TCAD.2005.850814"}],"event":{"name":"2015 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2015,9,27]]},"location":"Austin, TX, USA","end":{"date-parts":[[2015,9,30]]}},"container-title":["2015 Formal Methods in Computer-Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7539356\/7542233\/07542249.pdf?arnumber=7542249","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T20:54:20Z","timestamp":1489784060000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7542249\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":29,"URL":"http:\/\/dx.doi.org\/10.1109\/fmcad.2015.7542249","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}
