{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:54:49Z","timestamp":1725897289097},"publisher-location":"Wiesbaden","reference-count":28,"publisher":"Vieweg+Teubner Verlag","isbn-type":[{"type":"print","value":"9783815420331"},{"type":"electronic","value":"9783322952332"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-3-322-95233-2_11","type":"book-chapter","created":{"date-parts":[[2013,4,17]],"date-time":"2013-04-17T05:17:04Z","timestamp":1366175824000},"page":"185-208","source":"Crossref","is-referenced-by-count":1,"title":["Performance Optimization of Combinational Circuits"],"prefix":"10.1007","author":[{"given":"Uwe","family":"Hinsberger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiner","family":"Kolla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"11_CR1","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/360825.360855","volume":"18","author":"AV Aho","year":"1975","unstructured":"A.V. Aho and M.J. Corasick. Efficient string matching: An aid to bibliographic search. Communications of the ACM, Vol. 18, No. 6, pages 333\u2013340, 1975.","journal-title":"Communications of the ACM"},{"issue":"4","key":"11_CR2","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1145\/69558.75700","volume":"11","author":"AV Aho","year":"1989","unstructured":"A.V. Aho, M. Ganapathi, and S.W.K. Tjiang. Code generation using tree matching and dynamic programming. ACM Transactions on Programming Languages and Systems, Vol. 11, No. 4, pages 491\u2013516, 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"11_CR3","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/321992.322001","volume":"24","author":"AV Aho","year":"1977","unstructured":"A.V. Aho, S.C. Johnson, and J.D. Ullman. Code generation for expressions with common subexpressions. Journal of the Association for Computing Machinery, Vol. 24, No. 1, pages 146\u2013160, 1977.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"11_CR4","first-page":"217","volume-title":"Proceedings of the European Design Automation Conference (EDAC90)","author":"MRCM Berkelaar","year":"1990","unstructured":"M.R.C.M. Berkelaar and J.A.G. Jess. Gate sizing in mos digital circuits with linear programming. In Proceedings of the European Design Automation Conference (EDAC90), pages 217\u2013221, 1990."},{"key":"11_CR5","first-page":"555","volume-title":"Proceedings of the 26th Design Automation Conference (DAC89)","author":"DHC Du","year":"1989","unstructured":"D.H.C. Du, S.H.C. Yen, and S. Ghanta. On the general false path problem in timing analysis. In Proceedings of the 26th Design Automation Conference (DAC89), pages 555\u2013560, 1989."},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1109\/DAC.1984.1585848","volume-title":"Proceedings of the 21st Design Automation Conference (DAC84)","author":"LA Glasser","year":"1984","unstructured":"L.A. Glasser and L.P.J. Hoyte. Delay and power optimization in vlsi circuits. In Proceedings of the 21st Design Automation Conference (DAC84), pages 529\u2013535, 1984."},{"key":"11_CR7","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/37888.37905","volume-title":"Proceedings of the 24th Design Automation Conference (DAC87)","author":"KS Hedlund","year":"1987","unstructured":"K.S. Hedlund. Aesop: A tool for automated transistor sizing. In Proceedings of the 24th Design Automation Conference (DAC87), pages 114\u2013120, 1987."},{"key":"11_CR8","volume-title":"Master\u2019s thesis, Fachbereich Informatik, Universit\u00e4t des Saarlandes, Im Stadtwald, W-6600 Saarbr\u00fccken 11","author":"U Hinsberger","year":"1990","unstructured":"U. Hinsberger. Zellenbasierte Dimensionierung kombinatorischer Schaltkreise. Master\u2019s thesis, Fachbereich Informatik, Universit\u00e4t des Saarlandes, Im Stadtwald, W-6600 Saarbr\u00fccken 11, FRG, 1990. 94 Seiten."},{"key":"11_CR9","unstructured":"U. Hinsberger and R. Kolla. A cell based approach to performance optimization of combinational circuits. Technical Report 14\/1989, Sonderforschungsbereich 124 VLSI Entwurfsmethoden und Parallelit\u00e4t, Fachbereich Informatik, Universit\u00e4t des Saarlandes, Im Stadtwald, W-6600 Saarbr\u00fccken 11, FRG, 1989."},{"key":"11_CR10","first-page":"594","volume-title":"Proceedings of the 1st European Design Automation Conference (EDAC90)","author":"U Hinsberger","year":"1990","unstructured":"U. Hinsberger and R. Kolla. Cell based performance optimization of combinational circuits. In Proceedings of the 1st European Design Automation Conference (EDAC90), pages 594\u2013599, 1990."},{"issue":"1","key":"11_CR11","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/322290.322295","volume":"29","author":"CM Hoffmann","year":"1982","unstructured":"C.M. Hoffmann and M.J. O\u2019Donnell. Pattern matching in trees. Journal of the Association for Computing Machinery, Vol. 29, No. 1, pages 68\u201395, 1982.","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"1","key":"11_CR12","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/2422.322412","volume":"31","author":"HJ Hoover","year":"1984","unstructured":"H.J. Hoover, M.M. Klawe, and N.J. Pippenger. Bounding fan-out in logical networks. Journal of the Association for Computing Machinery, Vol. 31, No. 1:13\u201318, 1984.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"11_CR13","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1145\/37888.37940","volume-title":"Proceedings of the 24th Design Automation Conference (DAC87)","author":"K Keutzer","year":"1987","unstructured":"K. Keutzer. DAGON: Technology binding and local optimization by DAG matching. In Proceedings of the 24th Design Automation Conference (DAC87), pages 341\u2013347, June 1987."},{"key":"11_CR14","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1109\/EDAC.1991.206466","volume-title":"Proceedings of the 2nd European Design Automation Conference (EDAC91)","author":"S Lin","year":"1991","unstructured":"Shen Lin and M. Marek Sadowska. A fast and efficient agorithm for determining fanout trees in large networks. In Proceedings of the 2nd European Design Automation Conference (EDAC91), pages 539\u2013544, 1991."},{"key":"11_CR15","first-page":"349","volume-title":"Proceedings of the 27th Design Automation Conference (DAC90)","author":"S Lin","year":"1991","unstructured":"Shen Lin, M. Marek Sadowska, and E.S. Kuh. Delay and area optimization in standard-cell design. In Proceedings of the 27th Design Automation Conference (DAC90), pages 349\u2013352, 1991."},{"key":"11_CR16","first-page":"151","volume-title":"Proceedings of Stanford Conference of Advanced Research in VLSI","author":"DP Marple","year":"1987","unstructured":"D.P. Marple and A. El Gamal. Optimal selection of transistor sizes in digital VLSI circuits. In Proceedings of Stanford Conference of Advanced Research in VLSI, pages 151\u2013172, 1987."},{"key":"11_CR17","first-page":"161","volume-title":"Proceedings of the 26th Design Automation Conference (DAC89)","author":"PC McGeer","year":"1989","unstructured":"P.C. McGeer and R.K. Brayton. Efficient algorithms for computing the longest viable path in a combinational network. In Proceedings of the 26th Design Automation Conference (DAC89), pages 161\u2013567, 1989."},{"key":"11_CR18","volume-title":"Decennial Caltech Conference on VLSI","author":"PC McGeer","year":"1989","unstructured":"P.C. McGeer and R.K. Brayton. Provably corrext critical paths. In Decennial Caltech Conference on VLSI, 1989."},{"issue":"5","key":"11_CR19","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1109\/TCAD.1987.1270319","volume":"CAD-6","author":"G Micheli De","year":"1987","unstructured":"G. De Micheli. Performance-oriented synthesis of large-scale domino MOS circuits. IEEE Transactions on Computer Aided Design, CAD-6(5):751\u2013764, 1987.","journal-title":"IEEE Transactions on Computer Aided Design"},{"key":"11_CR20","first-page":"109","volume-title":"Proceedings of the Chapel Hill Conference on VLSI","author":"M Matson","year":"1985","unstructured":"M. Matson. Optimization of digital MOS VLSI circuits. In Proceedings of the Chapel Hill Conference on VLSI, pages 109\u2013126, May 1985."},{"key":"11_CR21","series-title":"Technical Report","volume-title":"A computer program to simulate semiconductor circuits","author":"L Nagel","year":"1975","unstructured":"L. Nagel. A computer program to simulate semiconductor circuits. Technical Report ERL-520, University of California at Berkeley, 1975."},{"key":"11_CR22","first-page":"453","volume-title":"Proceedings of the 25st Design Automation Conference (DAC88)","author":"FW Obermeier","year":"1988","unstructured":"F.W. Obermeier and R.H. Katz. An electrical optimizer that considers physical layout. In Proceedings of the 25st Design Automation Conference (DAC88), pages 453\u2013459, June 1988."},{"key":"11_CR23","volume-title":"R. Bryant, editor, Proceedings of the Third Caltech Conference on VLSI, pages 57\u201370. Computer Science Press","author":"JK Ousterhout","year":"1983","unstructured":"J.K. Ousterhout. Crystal: A timing analyser for nMOS VLSI circuits. In R. Bryant, editor, Proceedings of the Third Caltech Conference on VLSI, pages 57\u201370. Computer Science Press, 1983."},{"key":"11_CR24","volume-title":"PhD thesis, University of California, Berkeley","author":"R Rudell","year":"1989","unstructured":"R. Rudell. Logic Synthesis for VLSI Design. PhD thesis, University of California, Berkeley, April 1989."},{"key":"11_CR25","first-page":"357","volume-title":"Proceedings of the 27th Design Automation Conference (DAC90)","author":"KJ Singh","year":"1990","unstructured":"K.J. Singh and A. Sangiovanni-Vincentelli. A heuristic algorithm for the fanout problem. In Proceedings of the 27th Design Automation Conference (DAC90), pages 357\u2013360, 1990."},{"key":"11_CR26","volume-title":"Proceedings of the MIT VLSI Conference","author":"H Touati","year":"1990","unstructured":"H. Touati, C. Moon, R. Brayton, and A. Wang. Performance-oriented technology mapping. In Proceedings of the MIT VLSI Conference, 1990."},{"key":"11_CR27","first-page":"589","volume-title":"Proceedings of the European Design Automation Conference (EDAC90)","author":"CHA Wu","year":"1990","unstructured":"C.H.A. Wu, N. Vander Zanden, and D. Gajski. A new algorithm for transistor sizing in CMOS circuits. In Proceedings of the European Design Automation Conference (EDAC90), pages 589\u2013592, 1990."},{"key":"11_CR28","volume-title":"Logic synthesis and optimization benchmarks user guide (version 3.0)","author":"S Yang","year":"1991","unstructured":"S. Yang. Logic synthesis and optimization benchmarks user guide (version 3.0). Technical report, Microelectronics Center of North Carolina, P.O. Box 12889, Research Triangle Park, NC 27709, January 1991."}],"container-title":["TEUBNER-TEXTE zur Informatik","Informatik"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-322-95233-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T02:40:22Z","timestamp":1688179222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-322-95233-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783815420331","9783322952332"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-322-95233-2_11","relation":{},"ISSN":["1615-4584"],"issn-type":[{"type":"print","value":"1615-4584"}],"subject":[],"published":{"date-parts":[[1992]]}}}