Reference Work Entry

Encyclopedia of Algorithms

pp 1-99

# Technology Mapping

1987; Keutzer
• Kurt KeutzerAffiliated withDepartment of Electrical Engineering and Computer Science, University of California at Berkeley
• , Kaushik RavindranAffiliated withDepartment of Electrical Engineering and Computer Science, University of California at Berkeley
<meta charset="utf-8"/><script type="text/x-mathjax-config"> MathJax.Hub.Config({ /* load MathML extension */ extensions: ["mml2jax.js"], /* configure input and output */ jax: ["input/TeX", "input/MathML", "output/HTML-CSS"], /* align display equations to the left */ displayAlign: "left", /* set zoom trigger */ menuSettings: { zoom: "Click" }, /* configuration of the tex2jax preprocessor: - set delimiters for inline and display equations - preview while equations are processed is "TeX" - allow \$to represent a literal dollar sign */ tex2jax: { inlineMath: [ ["\$","\$"] ], displayMath: [ ['$$','$$'], ["\$","\$"] ], preview: ["TeX"], processEscapes: true }, /* configuration of the mml2jax preprocessor: - preview while equations are processed is "MathML" */ mml2jax: { preview: ["MathML"] }, /* configuration of the HTML-CSS output processor: - available fonts are STIX and TeX - preferred font is STIX - use TeX as web-based font if none of the above is available on the user's computer - use TeX font for image fallback mode */ "HTML-CSS": { availableFonts: ["STIX","TeX"], preferredFont: ["STIX"], webFont: ["TeX"], imageFont: ["TeX"], styles: { '.MathJax_Display': { "margin": 0 } } }, TeX: { TagSide: "right", Macros: { upalpha: '{\\unicode{x03B1}}', upbeta: '{\\unicode{x03B2}}', upgamma: '{\\unicode{x03B3}}', updelta: '{\\unicode{x03B4}}', upepsilon: '{\\unicode{x03F5}}', upvarepsilon: '{\\unicode{x03B5}}', upzeta: '{\\unicode{x03B6}}', upeta: '{\\unicode{x03B7}}', uptheta: '{\\unicode{x03B8}}', upvartheta: '{\\unicode{x03D1}}', upiota: '{\\unicode{x03B9}}', upkappa: '{\\unicode{x03BA}}', uplambda: '{\\unicode{x03BB}}', upmu: '{\\unicode{x03BC}}', upnu: '{\\unicode{x03BD}}', upxi: '{\\unicode{x03BE}}', upomicron: '{\\unicode{x03BF}}', uppi: '{\\unicode{x03C0}}', uprho: '{\\unicode{x03C1}}', upsigma: '{\\unicode{x03C3}}', uptau: '{\\unicode{x03C4}}', upupsilon: '{\\unicode{x03C5}}', upphi: '{\\unicode{x03C6}}', upchi: '{\\unicode{x03C7}}', uppsi: '{\\unicode{x03C8}}', upomega: '{\\unicode{x03C9}}', Upalpha: '{\\unicode{x0391}}', Upbeta: '{\\unicode{x0392}}', Upgamma: '{\\unicode{x0393}}', Updelta: '{\\unicode{x0394}}', Upepsilon: '{\\unicode{x0395}}', Upzeta: '{\\unicode{x0396}}', Upeta: '{\\unicode{x0397}}', Uptheta: '{\\unicode{x0398}}', Upvartheta: '{\\unicode{x03F4}}', Upiota: '{\\unicode{x0399}}', Upkappa: '{\\unicode{x039A}}', Uplambda: '{\\unicode{x039B}}', Upmu: '{\\unicode{x039C}}', Upnu: '{\\unicode{x039D}}', Upxi: '{\\unicode{x039E}}', Upomicron: '{\\unicode{x039F}}', Uppi: '{\\unicode{x03A0}}', Uprho: '{\\unicode{x03A1}}', Upsigma: '{\\unicode{x03A3}}', Uptau: '{\\unicode{x03A4}}', Upupsilon: '{\\unicode{x03A5}}', Upphi: '{\\unicode{x03A6}}', Upchi: '{\\unicode{x03A7}}', Uppsi: '{\\unicode{x03A8}}', Upomega: '{\\unicode{x03A9}}', permille: '{\\unicode{x2030}}', hfill: '{\\enspace\\enspace}', enskip: '{\\enspace}', copyright: '{\\unicode{x00A9}}', dag: '{\\unicode{x2020}}', ddag: '{\\unicode{x2021}}', ointop: '{\\unicode{0x222E}}', P: '{\\unicode{0x00B6}}', textregistered: '{\\unicode{0x00AE}}', lhook: '{\\hookrightarrow}', rhook: '{\\hookleftarrow}', fancyscript: ['{\\scr #1}',1], varvec: ['\\pmb{#1}',1], parbox: ['\\mbox{#2}',2], AA: '{\\unicode{x00C5}}' } }, /* configuration of the math menu: - allow the user to select what font to use */ MathMenu: { showFontMenu: true } }); MathJax.Hub.Register.StartupHook("TeX Jax Ready", function () { MathJax.InputJax.TeX.prefilterHooks.Add(function (data) { data.math = data.math.replace(/\\kern *-\\nulldelimiterspace/g, ""); data.math = data.math.replace(/\\mapstochar/g, "\\mapsto"); data.math = data.math.replace(/{?\\ss}?/g, "ß"); data.math = data.math.replace(/\\"a|{\\"a}|\\"{a}/g, "ä"); data.math = data.math.replace(/\\"o|{\\"o}|\\"{o}/g, "ö"); data.math = data.math.replace(/\\"u|{\\"u}|\\"{u}/g, "ü"); data.math = data.math.replace(/\\parbox($\w$)?{(.*?)}{(.*?)\\\\ (.*?)}/g, "\\parbox{$2}{$3$4}"); data.math = data.math.replace(/\\user1/g, "\\mathcal"); data.math = data.math.replace(/\\user2/g, "\\pmb"); data.math = data.math.replace(/\\vspace\*?{[^}]+}/g, ""); data.math = data.math.replace(/\\text\\EUR/g, "€"); data.math = data.math.replace(/\\textrm/g, "\\mathrm"); data.math = data.math.replace(/\\bf{/g, "\\mathbf{"); data.math = data.math.replace(/\\text{\\small{([^}]+)}}/g, "\\scriptstyle{\\text{$1}}"); data.math = data.math.replace(/\\text{\\footnotesize{([^}]+)}}/g, "\\scriptstyle{\\text{$1}}"); data.math = data.math.replace(/\\text{\\scriptsize{([^}]+)}}/g, "\\scriptscriptstyle{\\text{$1}}"); data.math = data.math.replace(/\\text{\\tiny{([^}]+)}}/g, "\\scriptscriptstyle{\\text{$1}}"); data.math = data.math.replace(/\\mathop ([^{]+?)\\limits/g, "\\mathop{1}\\limits"); data.math = data.math.replace(/\big|Big|bigg|Bigg) *{([^}]+)}/g, "\\1 2"); data.math = data.math.replace(/\\textsc *{([^}]+)}/g, "{\\rm ~#~1~#~}"); data.math = data.math.replace(/\\upvarphi/g, "\\varphi"); var reg = new RegExp("~#~(.*?)~#~", "g"); var m; while (m = reg.exec(data.math)) { var result = ""; for (var index=0; index != m[1].length; index++) { var char = m[1].substr(index, 1); if (char.match(/[a-z]/)) { result += "{\\small "+ char.toUpperCase() + "}"; } else { result += char; } } data.math = data.math.replace(/~#~.*?~#~/, result); } }); } ); </script><script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS_HTML-full.js"> </script></head><body><section id="Sec1_420" class="Section1 RenderAsSection1"><h2 class="Heading">Keywords and Synonyms</h2><p class="Para">Library-based technology mapping; Technology dependent optimization</p></section></body></html><!--4.0--> <!DOCTYPE html SYSTEM "about:legacy-compat"> <html xmlns="http://www.w3.org/1999/xhtml" lang=""><head><title/><meta charset="utf-8"/><script type="text/x-mathjax-config"> MathJax.Hub.Config({ /* load MathML extension */ extensions: ["mml2jax.js"], /* configure input and output */ jax: ["input/TeX", "input/MathML", "output/HTML-CSS"], /* align display equations to the left */ displayAlign: "left", /* set zoom trigger */ menuSettings: { zoom: "Click" }, /* configuration of the tex2jax preprocessor: - set delimiters for inline and display equations - preview while equations are processed is "TeX" - allow \ to represent a literal dollar sign */ tex2jax: { inlineMath: [ ["\\(","\"] ], displayMath: [ ['$$','$$'], ["\$","\$"] ], preview: ["TeX"], processEscapes: true }, /* configuration of the mml2jax preprocessor: - preview while equations are processed is "MathML" */ mml2jax: { preview: ["MathML"] }, /* configuration of the HTML-CSS output processor: - available fonts are STIX and TeX - preferred font is STIX - use TeX as web-based font if none of the above is available on the user's computer - use TeX font for image fallback mode */ "HTML-CSS": { availableFonts: ["STIX","TeX"], preferredFont: ["STIX"], webFont: ["TeX"], imageFont: ["TeX"], styles: { '.MathJax_Display': { "margin": 0 } } }, TeX: { TagSide: "right", Macros: { upalpha: '{\\unicode{x03B1}}', upbeta: '{\\unicode{x03B2}}', upgamma: '{\\unicode{x03B3}}', updelta: '{\\unicode{x03B4}}', upepsilon: '{\\unicode{x03F5}}', upvarepsilon: '{\\unicode{x03B5}}', upzeta: '{\\unicode{x03B6}}', upeta: '{\\unicode{x03B7}}', uptheta: '{\\unicode{x03B8}}', upvartheta: '{\\unicode{x03D1}}', upiota: '{\\unicode{x03B9}}', upkappa: '{\\unicode{x03BA}}', uplambda: '{\\unicode{x03BB}}', upmu: '{\\unicode{x03BC}}', upnu: '{\\unicode{x03BD}}', upxi: '{\\unicode{x03BE}}', upomicron: '{\\unicode{x03BF}}', uppi: '{\\unicode{x03C0}}', uprho: '{\\unicode{x03C1}}', upsigma: '{\\unicode{x03C3}}', uptau: '{\\unicode{x03C4}}', upupsilon: '{\\unicode{x03C5}}', upphi: '{\\unicode{x03C6}}', upchi: '{\\unicode{x03C7}}', uppsi: '{\\unicode{x03C8}}', upomega: '{\\unicode{x03C9}}', Upalpha: '{\\unicode{x0391}}', Upbeta: '{\\unicode{x0392}}', Upgamma: '{\\unicode{x0393}}', Updelta: '{\\unicode{x0394}}', Upepsilon: '{\\unicode{x0395}}', Upzeta: '{\\unicode{x0396}}', Upeta: '{\\unicode{x0397}}', Uptheta: '{\\unicode{x0398}}', Upvartheta: '{\\unicode{x03F4}}', Upiota: '{\\unicode{x0399}}', Upkappa: '{\\unicode{x039A}}', Uplambda: '{\\unicode{x039B}}', Upmu: '{\\unicode{x039C}}', Upnu: '{\\unicode{x039D}}', Upxi: '{\\unicode{x039E}}', Upomicron: '{\\unicode{x039F}}', Uppi: '{\\unicode{x03A0}}', Uprho: '{\\unicode{x03A1}}', Upsigma: '{\\unicode{x03A3}}', Uptau: '{\\unicode{x03A4}}', Upupsilon: '{\\unicode{x03A5}}', Upphi: '{\\unicode{x03A6}}', Upchi: '{\\unicode{x03A7}}', Uppsi: '{\\unicode{x03A8}}', Upomega: '{\\unicode{x03A9}}', permille: '{\\unicode{x2030}}', hfill: '{\\enspace\\enspace}', enskip: '{\\enspace}', copyright: '{\\unicode{x00A9}}', dag: '{\\unicode{x2020}}', ddag: '{\\unicode{x2021}}', ointop: '{\\unicode{0x222E}}', P: '{\\unicode{0x00B6}}', textregistered: '{\\unicode{0x00AE}}', lhook: '{\\hookrightarrow}', rhook: '{\\hookleftarrow}', fancyscript: ['{\\scr #1}',1], varvec: ['\\pmb{#1}',1], parbox: ['\\mbox{#2}',2], AA: '{\\unicode{x00C5}}' } }, /* configuration of the math menu: - allow the user to select what font to use */ MathMenu: { showFontMenu: true } }); MathJax.Hub.Register.StartupHook("TeX Jax Ready", function () { MathJax.InputJax.TeX.prefilterHooks.Add(function (data) { data.math = data.math.replace(/\\kern *-\\nulldelimiterspace/g, ""); data.math = data.math.replace(/\\mapstochar/g, "\\mapsto"); data.math = data.math.replace(/{?\\ss}?/g, "ß"); data.math = data.math.replace(/\\"a|{\\"a}|\\"{a}/g, "ä"); data.math = data.math.replace(/\\"o|{\\"o}|\\"{o}/g, "ö"); data.math = data.math.replace(/\\"u|{\\"u}|\\"{u}/g, "ü"); data.math = data.math.replace(/\\parbox($\w$)?{(.*?)}{(.*?)\\\\ (.*?)}/g, "\\parbox{2}{$3$4}"); data.math = data.math.replace(/\\user1/g, "\\mathcal"); data.math = data.math.replace(/\\user2/g, "\\pmb"); data.math = data.math.replace(/\\vspace\*?{[^}]+}/g, ""); data.math = data.math.replace(/\\text\\EUR/g, "€"); data.math = data.math.replace(/\\textrm/g, "\\mathrm"); data.math = data.math.replace(/\\bf{/g, "\\mathbf{"); data.math = data.math.replace(/\\text{\\small{([^}]+)}}/g, "\\scriptstyle{\\text{$1}}"); data.math = data.math.replace(/\\text{\\footnotesize{([^}]+)}}/g, "\\scriptstyle{\\text{$1}}"); data.math = data.math.replace(/\\text{\\scriptsize{([^}]+)}}/g, "\\scriptscriptstyle{\\text{$1}}"); data.math = data.math.replace(/\\text{\\tiny{([^}]+)}}/g, "\\scriptscriptstyle{\\text{$1}}"); data.math = data.math.replace(/\\mathop ([^{]+?)\\limits/g, "\\mathop{$1}\\limits"); data.math = data.math.replace(/\\(big|Big|bigg|Bigg) *{([^}]+)}/g, "\\$1 $2"); data.math = data.math.replace(/\\textsc *{([^}]+)}/g, "{\\rm ~#~$1~#~}"); data.math = data.math.replace(/\\upvarphi/g, "\\varphi"); var reg = new RegExp("~#~(.*?)~#~", "g"); var m; while (m = reg.exec(data.math)) { var result = ""; for (var index=0; index != m[1].length; index++) { var char = m[1].substr(index, 1); if (char.match(/[a-z]/)) { result += "{\\small "+ char.toUpperCase() + "}"; } else { result += char; } } data.math = data.math.replace(/~#~.*?~#~/, result); } }); } ); </script><script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS_HTML-full.js"> </script></head><body><section id="Sec2_420" class="Section1 RenderAsSection1"><h2 class="Heading">Problem Definition</h2><p class="Para">Technology mapping is the problem of implementing a sequential circuit using the gates of a particular technology library. It is an integral component of any automated VLSI circuit design flow. In the prototypical chip design flow, combinational logic gates and sequential memory elements are composed to form sequential circuits. These circuits are subject to various logic optimizations to minimize area, delay, power and other performance metrics. The resulting optimized circuits still consist of primitive logic functions such as AND and OR gates. The next step is to efficiently realize these circuits in a specific VLSI technology using a library of gates available from the semiconductor vendor. Such a library would typically consist of gates of varying sizes and speeds for primitive logic functions, (AND and OR) and more complex functions (exclusive-OR, multiplexer). However ...</p></section></body></html><!--4.0--> </div> <div class="excerpt-message"></div> </div> <div id="kb-nav--aside" class="col-aside" role="complementary"> <div class="cover"> <div class="look-inside cover-image-animate"> <div id="reader-overlay"> <div id="reader-page-template"> <div id="page-%P"> <div class="page-number"> Page %P </div> <div class="pdf-page" id="page-img-container-%ID"> <img id="pdf-page-image-%ID" class="pdf-image" src="/static/1.771/images/pdf-preview/spacer.gif" alt="Loading..." width="%W" style="width:%Wpx;" data-loaded="false"/> </div> </div> </div> <div class="reader-position"> <div id="reader"> <div id="reader-buttons"> <a href="#close" id="pdf-close" class="btn btn-close right"> Close </a> <a href="#close" id="toggletext" class="btn" title="Toggle plain text"> Plain text </a> </div> <div id="viewer" class="show-pdf"> <div id="scroller"></div> </div> <div class="top-shadow"></div> <div class="bottom-shadow"></div> </div> </div> </div> <a class="webtrekk-track lookinside-href" href="/referenceworkentry/10.1007%2F978-0-387-30162-4_420/lookinside/000.png" pageType="rd_springer_com.reference_work.entry_preview" parentContentType="ReferenceWork" contentType="ReferenceWorkEntry" doi="10.1007/978-0-387-30162-4_420" viewType="Preview" publication="10.1007/978-0-387-30162-4 | Encyclopedia of Algorithms"> <img class="look-inside-cover" src="http://static-content.springer.com/cover/book/978-0-387-30162-4.jpg" alt="Encyclopedia of Algorithms" width="153" itemprop="image"/> <img class="look-inside-page" src="http://static-content.springer.com/lookinside/prt%3A978-0-387-30162-4%2F19/000.png" alt="Encyclopedia of Algorithms" width="153" itemprop="image"/> <span class="look-inside-badge"> Look <br/> Inside </span> </a> </div> </div> <div class="book-metrics SideBox hidden" data-url="http://bookmetrix-proxy.live.cf.public.springer.com" data-contenttype="chapter"> <h2 class="SideBox_title">Reference Work Entry Metrics</h2> <div class="book-metrics-items"></div> <div class="Sidebox_footer book-metrics-footer"> <a href="#"> <span>Provided by</span> <span><strong>Book</strong><span>metrix</span></span> </a> </div> </div> <div id="copublisher-container" data-url="http://copublishers.live.cf.public.springer.com/?id=978-0-387-30162-4&id=978-0-387-30770-1"></div> <div class="SideBox section-links"> </div> <div class="SideBox other-actions"> <h2 class="SideBox_title">Other actions</h2> <ul> <li> <a id="export-citation" href="/export-citation/referenceworkentry/10.1007/978-0-387-30162-4_420"> Export citation </a> </li> <li> <a id="about-link" class="external" href="http://www.springer.com/978-0-387-30770-1?wt_mc=ThirdParty.SpringerLink.3.EPR653.About_eBook" target="_blank" title="It opens in new window"> About this Reference Work </a> </li> <li> <a id="permissions-link" class="external" href="https://s100.copyright.com/AppDispatchServlet?publisherName=Springer&orderBeanReset=true&orderSource=SpringerLink&author=Kurt+Keutzer&contentID=10.1007%2F978-0-387-30162-4_420&openAccess=false&endPage=99&publicationDate=2008&startPage=1&title=Technology+Mapping&imprint=Springer-Verlag&publication=eBook&authorAddress=Berkeley%2C+CA%2C+USA" target="_blank" title="It opens in new window">Reprints and Permissions</a> </li> <li> <a id="papers-link" class="external webtrekk-track" href="http://redirect.papersapp.com/redirect?url=http://link.springer.com/referenceworkentry/10.1007%2F978-0-387-30162-4_420" target="_blank" title="It opens in new window" gaCategory="Export" publication="10.1007/978-0-387-30162-4_420 | Technology Mapping" viewType="Add to Papers">Add to Papers</a> </li> </ul> </div> <div class="SideBox other-actions share"> <h2 class="SideBox_title">Share</h2> <a id="facebook" href="javascript:void(0)" title="Share this content on Facebook">Share this content on Facebook</a> <a id="twitter" href="javascript:void(0)" title="Share this content on Twitter">Share this content on Twitter</a> <a id="linkedin" href="javascript:void(0)" title="Share this content on LinkedIn">Share this content on LinkedIn</a> </div> </div> </div> <div id="kb-nav--aside" class="document-aside" role="complementary"> <input id="relatedItemsSource" type="hidden" value="none"/> <div id="abstract-esm" class="expander expander-empty"> <div class="expander-title"> <div class="heading"> <h2><button>Supplementary Material (0)</button></h2> </div> </div> </div> <div id="abstract-references" class="expander"> <div class="expander-title"> <div class="heading"> <h2><button>References (13)</button></h2> </div> </div> <div class="expander-content"> <div class="expander-content-inner"> <div class="formatted"> <!DOCTYPE html SYSTEM "about:legacy-compat"> <div xmlns="http://www.w3.org/1999/xhtml" xmlns:meta="http://www.springer.com/app/meta" xmlns:epub="http://www.idpf.org/2007/ops" class="FulltextWrapper"><aside class="Bibliography" id="Bib1_420"><h3 class="Heading">Recommended Reading</h3><ol class="BibliographyWrapper"><li class="Citation"><div class="CitationNumber">1.</div><div class="CitationContent" id="CR1_420">Aho, A., Sethi, R., Ullman, J.: Compilers: Principles, Techniques and Tools. pp. 557–584. Addison Wesley, Boston (1986)</div></li><li class="Citation"><div class="CitationNumber">2.</div><div class="CitationContent" id="CR2_420">Aho, A., Johnson, S.: Optimal Code Generation for Expression Trees. J. ACM <strong class="EmphasisTypeBold ">23</strong>(July), 488–501 (1976)<span class="Occurrences"><span class="Occurrence OccurrenceAMSID"><a href="http://www.ams.org/mathscinet-getitem?mr=405910"><span><span>MathSciNet</span></span></a></span><span class="Occurrence OccurrenceZLBID"><a href="http://www.emis.de/MATH-item?$0334.68022"><span><span>MATH</span></span></a></span></span></div></li><li class="Citation"><div class="CitationNumber">3.</div><div class="CitationContent" id="CR3_420">Darringer, J.A., Brand, D., Gerbi, J.V., Joyner, W.H., Trevillyan, L.H.: LSS: Logic Synthesis through Local Transformations. IBM J. Res. Dev. <strong class="EmphasisTypeBold ">25</strong>, 272–280 (1981)<span class="Occurrences"><span class="Occurrence OccurrenceDOI"><a href="http://dx.doi.org/10.1147/rd.254.0272"><span><span>CrossRef</span></span></a></span></span></div></li><li class="Citation"><div class="CitationNumber">4.</div><div class="CitationContent" id="CR4_420">Keutzer, K.: DAGON: Technology Binding and Local Optimizations by DAG Matching. In: Proc. of the 24th Design Automation Conference <strong class="EmphasisTypeBold ">28</strong>(1), pp. 341–347. Miami Beach, June 1987</div></li><li class="Citation"><div class="CitationNumber">5.</div><div class="CitationContent" id="CR5_420">Rudell, R.: Logic Synthesis for VLSI Design. Ph. D. thesis, University of California at Berkeley, ERL Memo 89/49, April 1989</div></li><li class="Citation"><div class="CitationNumber">6.</div><div class="CitationContent" id="CR6_420">Sentovich, E.M., Singh, K.J., Moon, C., Savoj, H., Brayton, R.K., Sangiovanni‐Vincentelli, A.: Sequential Circuit Design using Synthesis and Optimization. In: Proc. of the IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD), pp. 328–333. Cambridge, October 1992</div></li><li class="Citation"><div class="CitationNumber">7.</div><div class="CitationContent" id="CR7_420">Cong, J., Ding, Y.: An Optimal Technology Mapping Algorithm for Delay Optimization in Lookup-Table based FPGA Designs. In: Proc. of the 1992 IEEE/ACM International Conference on Computer-Aided Design (ICCAD-92) <strong class="EmphasisTypeBold ">8</strong>(12), pp. 48–53, November 1992</div></li><li class="Citation"><div class="CitationNumber">8.</div><div class="CitationContent" id="CR8_420">Tiwari, V., Ashar, P., Malik, S.: Technology Mapping for Low Power in Logic Synthesis. Integr. VLSI J. <strong class="EmphasisTypeBold ">20</strong>(3), 243–268 (1996)<span class="Occurrences"><span class="Occurrence OccurrenceZLBID"><a href="http://www.emis.de/MATH-item?$0875.94131"><span><span>MATH</span></span></a></span></span></div></li><li class="Citation"><div class="CitationNumber">9.</div><div class="CitationContent" id="CR9_420">Lehman, E., Watanabe, Y., Grodstein, J., Harkness, H.: Logic Decomposition during Technology Mapping. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. <strong class="EmphasisTypeBold ">16</strong>(8), 813–834, (1997)</div></li><li class="Citation"><div class="CitationNumber">10.</div><div class="CitationContent" id="CR10_420">Kutzschebauch, T., Stok, L.: Congestion Aware Layout Driven Logic Synthesis. In: Proc. of the IEEE/ACM International Conference on Computer-Aided Design, 2001, pp. 216–223</div></li><li class="Citation"><div class="CitationNumber">11.</div><div class="CitationContent" id="CR11_420">Devadas, S., Ghosh, A., Keutzer, K.: Logic Synthesis. McGraw Hill, New York (1994). pp. 185–200</div></li><li class="Citation"><div class="CitationNumber">12.</div><div class="CitationContent" id="CR12_420">De Micheli, G.: Synthesis and Optimization of Digital Circuits, 1st edn., pp. 504–533. McGraw-Hill, New York (1994)</div></li><li class="Citation"><div class="CitationNumber">13.</div><div class="CitationContent" id="CR13_420">Stok, L., Tiwari, V.: Technology Mapping. In: Hassoun, S., Sasou, T. (eds.) Logic Synthesis and Verification, pp. 115–139. Kluwer International Series In Engineering And Coputer Science Series. Kluwer Academic Publisher, Norwell (2002)</div></li></ol></aside></div> </div> </div> </div> </div> <div id="abstract-about" class="expander expander-open"> <div class="expander-title"> <div class="heading"> <button> <h2>About this Reference Work Entry</h2> </button> </div> </div> <div class="expander-content"> <div class="expander-content-inner"> <div class="summary"> <dl> <dt>Title</dt> <dd id="abstract-about-title">Technology Mapping</dd> <dt>Reference Work Title</dt> <dd id="abstract-about-publication"> <a href="/book/10.1007/978-0-387-30162-4">Encyclopedia of Algorithms</a> </dd> <dt id="dt-abstract-about-book-chapter-page-ranges">Pages</dt> <dd id="abstract-about-book-chapter-page-ranges">pp 1-99</dd> <dt id="dt-abstract-about-book-chapter-copyright-year">Copyright</dt> <dd id="abstract-about-book-chapter-copyright-year">2008</dd> <dt>DOI</dt> <dd id="abstract-about-book-chapter-doi" class="doi">10.1007/978-0-387-30162-4_420</dd> <dt id="dt-abstract-about-book-print-isbn">Print ISBN</dt> <dd id="abstract-about-book-print-isbn">978-0-387-30770-1</dd> <dt id="dt-abstract-about-book-online-isbn">Online ISBN</dt> <dd id="abstract-about-book-online-isbn">978-0-387-30162-4</dd> <dt id="dt-abstract-about-publisher">Publisher</dt> <dd id="abstract-about-publisher">Springer US</dd> <dt id="dt-abstract-about-book-copyright-holder">Copyright Holder</dt> <dd id="abstract-about-book-copyright-holder">Springer-Verlag</dd> <dt>Additional Links</dt> <dd id="abstract-about-additional-links"> <ul> <li> <a class="external" href="http://www.springer.com/978-0-387-30770-1?wt_mc=ThirdParty.SpringerLink.3.EPR653.About_eBook" target="_blank" title="It opens in new window">About this Reference Work</a> </li> </ul> </dd> </dl> <dl> <dt>Topics</dt> <dd itemprop="genre"> <ul class="abstract-about-subject"> <li> <a href="/search?facet-subject=%22Theory+of+Computation%22">Theory of Computation</a> </li> <li> <a href="/search?facet-subject=%22Electronic+and+Computer+Engineering%22">Electronic and Computer Engineering</a> </li> <li> <a href="/search?facet-subject=%22Applications+of+Mathematics%22">Applications of Mathematics</a> </li> <li> <a href="/search?facet-subject=%22Computing+Methodologies%22">Computing Methodologies</a> </li> <li> <a href="/search?facet-subject=%22Computational+Mathematics+and+Numerical+Analysis%22">Computational Mathematics and Numerical Analysis</a> </li> </ul> </dd> <dt>Industry Sectors</dt> <dd itemprop="genre"> <ul class="abstract-about-industrysectors"> <li> <a title="/industry/electronics" href="/industry/electronics">Electronics</a> </li> <li> <a title="/industry/telecom" href="/industry/telecom">Telecommunications</a> </li> <li> <a title="/industry/it" href="/industry/it">IT & Software</a> </li> </ul> </dd> <dt>eBook Packages</dt> <dd itemprop="genre"> <ul class="abstract-about-ebook-packages"> <li> <a href="/search?package=11645">eBook Package english Computer Science</a> </li> <li> <a href="/search?package=90011652">eBook Package english full Collection</a> </li> </ul> </dd> </dl> <dl> <dt>Editors</dt> <dd> <ul class="editors"> <li itemprop="editor" itemscope="itemscope" itemtype="http://schema.org/Person"> <a class="person" href="/search?facet-creator=%22Ming-Yang+Kao+Professor+of+Computer+Science%22" itemprop="name">Ming-Yang Kao Professor of Computer Science</a> <sup title="Department of Electrical Engineering and Computer ScienceMcCormick School of Engineering and Applied Science, Northwestern University">(1)</sup> </li> </ul> </dd> <dt>Editor Affiliations</dt> <dd> <ul class="editor-affiliations"> <li> <span class="position">1.</span> <span class="affiliation"> Department of Electrical Engineering and Computer ScienceMcCormick School of Engineering and Applied Science, Northwestern University </span> </li> </ul> </dd> <dt>Authors</dt> <dd> <ul class="authors"> <li itemprop="author" itemscope="itemscope" itemtype="http://schema.org/Person"> <a class="person" href="/search?facet-creator=%22Kurt+Keutzer%22" itemprop="name">Kurt Keutzer</a> <sup title="Department of Electrical Engineering and Computer Science, University of California at Berkeley">(1)</sup> </li> <li itemprop="author" itemscope="itemscope" itemtype="http://schema.org/Person"> <a class="person" href="/search?facet-creator=%22Kaushik+Ravindran%22" itemprop="name">Kaushik Ravindran</a> <sup title="Department of Electrical Engineering and Computer Science, University of California at Berkeley">(1)</sup> </li> </ul> </dd> <dt>Author Affiliations</dt> <dd> <ul class="author-affiliations"> <li> <span class="position">1.</span> <span class="affiliation"> Department of Electrical Engineering and Computer Science, University of California at Berkeley, Berkeley, CA, USA </span> </li> </ul> </dd> </dl> </div> </div> </div> </div> </div> </div> <div id="look-inside-interrupt" class="look-inside-interrupt"> <h3>Continue reading...</h3> <div class="col-1"> <p>To view the rest of this content please follow the download PDF link above.</p> </div> </div> </div> <div id="web-trekk-abstract" doi="10.1007/978-0-387-30162-4_420" parentContentType="ReferenceWork" contentType="ReferenceWorkEntry" viewType="Abstract" publication="10.1007/978-0-387-30162-4 | Encyclopedia of Algorithms" unsiloed="" embedFulltext="false" openChoice="N"></div> <input id="contentType" type="hidden" value="ReferenceWorkEntry"/> <div id="footer"> <hr/> <div id="footer-verticals" class="section" role="navigation"> <span class="strapline">Over 9 million scientific documents at your fingertips</span> <div class="flyout"> <button class="pillow-btn open-disciplines"> Browse by Discipline <span class="caret"></span> </button> <ol class="disciplines"> <li> <a href="/search?facet-discipline="Architecture+%26+Design"" title="follow this link to go to Architecture & Design">Architecture & Design</a> </li> <li> <a href="/search?facet-discipline="Astronomy"" title="follow this link to go to Astronomy">Astronomy</a> </li> <li> <a href="/search?facet-discipline="Biomedical+Sciences"" title="follow this link to go to Biomedical Sciences">Biomedical Sciences</a> </li> <li> <a href="/search?facet-discipline="Business+%26+Management"" title="follow this link to go to Business & Management">Business & Management</a> </li> <li> <a href="/search?facet-discipline="Chemistry"" title="follow this link to go to Chemistry">Chemistry</a> </li> <li> <a href="/search?facet-discipline="Computer+Science"" title="follow this link to go to Computer Science">Computer Science</a> </li> <li> <a href="/search?facet-discipline="Earth+Sciences+%26+Geography"" title="follow this link to go to Earth Sciences & Geography">Earth Sciences & Geography</a> </li> <li> <a href="/search?facet-discipline="Economics"" title="follow this link to go to Economics">Economics</a> </li> <li> <a href="/search?facet-discipline="Education+%26+Language"" title="follow this link to go to Education & Language">Education & Language</a> </li> <li> <a href="/search?facet-discipline="Energy"" title="follow this link to go to Energy">Energy</a> </li> <li> <a href="/search?facet-discipline="Engineering"" title="follow this link to go to Engineering">Engineering</a> </li> <li> <a href="/search?facet-discipline="Environmental+Sciences"" title="follow this link to go to Environmental Sciences">Environmental Sciences</a> </li> <li> <a href="/search?facet-discipline="Food+Science+%26+Nutrition"" title="follow this link to go to Food Science & Nutrition">Food Science & Nutrition</a> </li> <li> <a href="/search?facet-discipline="Law"" title="follow this link to go to Law">Law</a> </li> <li> <a href="/search?facet-discipline="Life+Sciences"" title="follow this link to go to Life Sciences">Life Sciences</a> </li> <li> <a href="/search?facet-discipline="Materials"" title="follow this link to go to Materials">Materials</a> </li> <li> <a href="/search?facet-discipline="Mathematics"" title="follow this link to go to Mathematics">Mathematics</a> </li> <li> <a href="/search?facet-discipline="Medicine"" title="follow this link to go to Medicine">Medicine</a> </li> <li> <a href="/search?facet-discipline="Philosophy"" title="follow this link to go to Philosophy">Philosophy</a> </li> <li> <a href="/search?facet-discipline="Physics"" title="follow this link to go to Physics">Physics</a> </li> <li> <a href="/search?facet-discipline="Psychology"" title="follow this link to go to Psychology">Psychology</a> </li> <li> <a href="/search?facet-discipline="Public+Health"" title="follow this link to go to Public Health">Public Health</a> </li> <li> <a href="/search?facet-discipline="Social+Sciences"" title="follow this link to go to Social Sciences">Social Sciences</a> </li> <li> <a href="/search?facet-discipline="Statistics"" title="follow this link to go to Statistics">Statistics</a> </li> </ol> </div> </div> <div id="footer-nav" class="section"> <div id="footer-nav-misc"> <div id="footer-our-content" class="block" role="navigation"> <h2>Our Content</h2> <ul> <li> <a title="View Journals" href="/search?facet-content-type=%22Journal%22">Journals</a> </li> <li> <a title="View Books" href="/search?facet-content-type=%22Book%22">Books</a> </li> <li> <a title="View Book Series" href="/search?facet-content-type=%22BookSeries%22">Book Series</a> </li> <li> <a title="View Protocols" href="/search?facet-content-type=%22Protocol%22">Protocols</a> </li> <li> <a title="View Reference Works" href="/search?facet-content-type=%22ReferenceWork%22">Reference Works</a> </li> </ul> </div> <div id="footer-other-sites" class="block" role="navigation"> <h2>Other Sites</h2> <ul> <li> <a title="Visit Springer.com" href="http://www.springer.com/">Springer.com</a> </li> <li> <a title="Visit Springer Protocols" href="http://www.springerprotocols.com/">SpringerProtocols</a> </li> <li> <a title="Visit Springer Materials" href="http://materials.springer.com/">SpringerMaterials</a> </li> </ul> </div> <div class="block" role="navigation"> <h2>Help & Contacts</h2> <ul> <li> <a class="contact-us-link" title="Contact us" href="/contactus">Contact Us</a> </li> <li> <a class="impressum-link" title="View Impressum" href="/impressum">Impressum</a> </li> </ul> </div> </div> </div> <div id="footer-legal" class="section" role="contentinfo"> <div id="mobile-nav"> <span class="pillow-btn open-legal" title="Show Legal Information">Legal</span> </div> <div id="legal" role="contentinfo"> <span id="footer-copyright">© Springer International Publishing AG, Part of Springer Science+Business Media</span> <a id="footer-privacy" title="View Terms and Conditions" href="/termsandconditions">Privacy Policy, Disclaimer, General Terms & Conditions</a> <div id="diagnostic-info"> <span id="diagnostic-login-status">Not logged in</span> <span class="diagnostic-business-partners">Unaffiliated</span> <span id="diagnostic-ip">54.234.57.39</span> </div> </div> </div> <div id="footer-branding" class="section"> <div class="block"> <span id="branding-logo">Springer for Research & Development</span> </div> </div> <div id="google-analytics-account" style="display: none">UA-26408784-1</div> </div> <div id="doubleclick-ad" class="banner-advert"> <script type="text/javascript">if ( window.outerWidth || document.body.clientWidth > 1100 ) { googletag.cmd.push(function() { googletag.display('doubleclick-ad'); }); };</script> </div> </div> <noscript> <div id="jsnotice" class="prompt-bar"> <p> JavaScript is currently disabled<span>, this site works much better if you enable JavaScript in your browser.</span> </p> </div> </noscript> <link rel="stylesheet" media="print" href="/static/1.771/css/print.css"/> <script src="/static/js/webtrekk/webtrekk_v3.js"></script> <script type="text/javascript"> var webtrekkProperties = { trackDomain : "springergmbh01.webtrekk.net", trackId : "935649882378213", pageType : "rd_springer_com.reference_work.entry_abstract" }; </script> <noscript> <div id="webtrekk"> <img src="http://springergmbh01.webtrekk.net/935649882378213/wt?p=315,rd_springer_com.reference_work.entry_abstract" height="1" width="1" alt=""/> </div> </noscript> <script type="text/javascript"> (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){ (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o), m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m) })(window,document,'script','//www.google-analytics.com/analytics.js','ga'); ga('create', 'UA-26408784-1', 'auto'); ga('create', 'UA-26408784-4', 'auto', {'name': 'unsiloTracker'}); ga('set', 'dimension2', 'N'); ga('require', 'linkid', 'linkid.js'); ga('send', 'pageview'); </script> <script src="/static/js/lib/jquery.min.js"></script> <script src="/static/js/lib/jquery-ui.min.js"></script> <script src="/static/js/lib/jquery-migrate-1.2.1.min.js"></script> <script src="/static/js/lib/crossmark.js"></script> <script type="text/javascript" src="http://rng-snp-003.com/js/36708.js"></script> <noscript> <img src="http://rng-snp-003.com/36708.png" style="display:none;"/> </noscript> <script type="text/javascript"> var vgWortProperties = { vgWortDomain: 'springer.met.vgwort.de' }; </script> <script src="/static/1.771/js/all.js"></script> <script src="/static/1.771/js/internal/mathJaxConfig.js"></script> <script src="http://rd.springer.com/mathjax/v2.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script> <script src="/static/1.771/js/internal/mathJaxHooks.js"></script> <script type="text/javascript">var _kiq = _kiq || [];</script> <script type="text/javascript" src="//s3.amazonaws.com/ki.js/47412/9CC.js" async="true"></script> </body> </html>