{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:30:01Z","timestamp":1725528601986},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642006401"},{"type":"electronic","value":"9783642006418"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00641-8_26","type":"book-chapter","created":{"date-parts":[[2009,3,6]],"date-time":"2009-03-06T08:41:46Z","timestamp":1236328906000},"page":"261-267","source":"Crossref","is-referenced-by-count":6,"title":["A Parallel Branching Program Machine for Emulation of Sequential Circuits"],"prefix":"10.1007","author":[{"given":"Hiroki","family":"Nakahara","sequence":"first","affiliation":[]},{"given":"Tsutomu","family":"Sasao","sequence":"additional","affiliation":[]},{"given":"Munehiro","family":"Matsuura","sequence":"additional","affiliation":[]},{"given":"Yoshifumi","family":"Kawamura","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","doi-asserted-by":"crossref","unstructured":"Ashar, P., Malik, S.: Fast functional simulation using branching programs. In: Proc. International Conference on Computer Aided Design, pp.\u00a0408\u2013412 (November 1995)","DOI":"10.1109\/ICCAD.1995.480148"},{"issue":"3","key":"26_CR2","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/41.3116","volume":"35","author":"P.C. Baracos","year":"1988","unstructured":"Baracos, P.C., Hudson, R.D., Vroomen, L.J., Zsombor-Murray, P.J.A.: Advances in binary decision based programmable controllers. IEEE Transactions on Industrial Electronics\u00a035(3), 417\u2013425 (1988)","journal-title":"IEEE Transactions on Industrial Electronics"},{"issue":"2","key":"26_CR3","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/0303-1268(76)90033-X","volume":"1","author":"R.T. Boute","year":"1976","unstructured":"Boute, R.T.: The binary-decision machine as programmable controller. Euromicro Newsletter\u00a01(2), 16\u201322 (1976)","journal-title":"Euromicro Newsletter"},{"issue":"8","key":"26_CR4","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Compt.\u00a0C-35(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Compt."},{"issue":"9","key":"26_CR5","doi-asserted-by":"publisher","first-page":"1041","DOI":"10.1109\/TC.2005.137","volume":"54","author":"J.T. Butler","year":"2005","unstructured":"Butler, J.T., Sasao, T., Matsuura, M.: Average path length of binary decision diagrams. IEEE Trans. Compt.\u00a054(9), 1041\u20131053 (2005)","journal-title":"IEEE Trans. Compt."},{"key":"26_CR6","volume-title":"Designing Logic Systems Using State Machines","author":"C.H. Clare","year":"1973","unstructured":"Clare, C.H.: Designing Logic Systems Using State Machines. McGraw-Hill, New York (1973)"},{"key":"26_CR7","first-page":"368","volume-title":"Digital Systems with Algorithm Implementation","author":"M. Davio","year":"1983","unstructured":"Davio, M., Deschamps, J.-P., Thayse, A.: Digital Systems with Algorithm Implementation, p. 368. John Wiley & Sons, New York (1983)"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Iguchi, Y., Sasao, T., Matsuura, M.: Evaluation of multiple-output logic functions. In: Asia and South Pacific Design Automation Conference 2003, Kitakyushu, Japan, January 21-24, pp. 312\u2013315 (2003)","DOI":"10.1145\/1119772.1119832"},{"issue":"1-2","key":"26_CR9","first-page":"9","volume":"4","author":"T. Kam","year":"1998","unstructured":"Kam, T., Villa, T., Brayton, R.K., Sagiovanni-Vincentelli, A.L.: Multi-valued decision diagrams: Theory and Applications. Multiple-Valued Logic\u00a04(1-2), 9\u201362 (1998)","journal-title":"Multiple-Valued Logic"},{"issue":"12","key":"26_CR10","doi-asserted-by":"publisher","first-page":"3342","DOI":"10.1093\/ietfec\/e88-a.12.3342","volume":"E88-A","author":"H. Nakahara","year":"2005","unstructured":"Nakahara, H., Sasao, T., Matsuura, M.: A Design algorithm for sequential circuits using LUT rings. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences\u00a0E88-A(12), 3342\u20133350 (2005)","journal-title":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"McGeer, P.C., McMillan, K.L., Saldanha, A., Sangiovanni-Vincentelli, A.L., Scaglia, P.: Fast discrete function evaluation using decision diagrams. In: Proc. International Conference on Computer Aided Design, pp. 402\u2013407 (November 1995)","DOI":"10.1109\/ICCAD.1995.480147"},{"key":"26_CR12","doi-asserted-by":"crossref","unstructured":"Sasao, T., Nakahara, H., Matsuura, M., Iguchi, Y.: Realization of sequential circuits by look-up table ring. In: The 2004 IEEE International Midwest Symposium on Circuits and Systems, Hiroshima, July 25-28, pp. I:517\u2013I:520 (2004)","DOI":"10.1109\/MWSCAS.2004.1354041"},{"key":"26_CR13","unstructured":"Yang, S.: Logic synthesis and optimization benchmark user guide version 3.0. MCNC (January 1991)"},{"issue":"4","key":"26_CR14","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/MM.1983.291141","volume":"3","author":"P.J.A. Zsombor-Murray","year":"1983","unstructured":"Zsombor-Murray, P.J.A., Vroomen, L.J., Hudson, R.D., Tho, L.-N., Holck, P.H.: Binary-decision-based programmable controllers, Part I-III. IEEE Micro\u00a03(4),\u00a067\u201383\u00a0(Part I),\u00a0(5), 16\u201326\u00a0(Part II), (6), 24\u201339\u00a0(Part III) (1983)","journal-title":"IEEE Micro"}],"container-title":["Lecture Notes in Computer Science","Reconfigurable Computing: Architectures, Tools and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00641-8_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T09:46:33Z","timestamp":1558172793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00641-8_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642006401","9783642006418"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00641-8_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}