Logic clause analysis for delay optimization
Gespeichert in:
Hauptverfasser: | , , |
---|---|
Format: | Tagungsbericht |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
container_end_page | 672 |
---|---|
container_issue | |
container_start_page | 668 |
container_title | |
container_volume | |
creator | Rohfleisch, Berhard Wurth, Bernd Antreich, Kurt |
description | |
doi_str_mv | 10.1145/217474.217608 |
format | Conference Proceeding |
fullrecord | <record><control><sourceid>proquest_acm_b</sourceid><recordid>TN_cdi_acm_books_10_1145_217474_217608</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>30866942</sourcerecordid><originalsourceid>FETCH-LOGICAL-a2068-5c7916c7ba5306da1ee1512b769b58aa33f9695dcfc4dbafeda3bd47ce4264d13</originalsourceid><addsrcrecordid>eNqNkDtLxEAURgdEUNct7VNZbda580xKWXxBwEbr4c4jMprNrJmkWH-9kQi2Vqc5fB8cQq6AbgGEvGGghRbbGYpWJ-SCVrWuQTMJZ2Sd8zulFIBRKcQ52TTpLbrCdTjlUGCP3THHXLRpKHzo8Fikwxj38QvHmPpLctpil8P6lyvyen_3snssm-eHp91tUyKjqiqlm--U0xYlp8ojhAASmNWqtrJC5LytVS29a53wFtvgkVsvtAuCKeGBr8j1snsY0ucU8mj2MbvQddiHNGXDaaVULdifiG5vbEof2QA1PxHMEsEsEWZx8y_R2CGGln8DQS1cdA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype><pqid>30866942</pqid></control><display><type>conference_proceeding</type><title>Logic clause analysis for delay optimization</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Rohfleisch, Berhard ; Wurth, Bernd ; Antreich, Kurt</creator><creatorcontrib>Rohfleisch, Berhard ; Wurth, Bernd ; Antreich, Kurt</creatorcontrib><identifier>ISBN: 0897917251</identifier><identifier>ISBN: 9780897917254</identifier><identifier>DOI: 10.1145/217474.217608</identifier><language>eng</language><publisher>New York, NY, USA: ACM</publisher><subject>Hardware -- Electronic design automation -- Logic synthesis -- Circuit optimization ; Hardware -- Integrated circuits -- Logic circuits -- Combinational circuits</subject><ispartof>Proceedings of the 32nd annual ACM/IEEE Design Automation Conference, 1995, p.668-672</ispartof><rights>1995 ACM</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>309,310,780,784,789,790,27925</link.rule.ids></links><search><creatorcontrib>Rohfleisch, Berhard</creatorcontrib><creatorcontrib>Wurth, Bernd</creatorcontrib><creatorcontrib>Antreich, Kurt</creatorcontrib><title>Logic clause analysis for delay optimization</title><title>Proceedings of the 32nd annual ACM/IEEE Design Automation Conference</title><subject>Hardware -- Electronic design automation -- Logic synthesis -- Circuit optimization</subject><subject>Hardware -- Integrated circuits -- Logic circuits -- Combinational circuits</subject><isbn>0897917251</isbn><isbn>9780897917254</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1995</creationdate><recordtype>conference_proceeding</recordtype><recordid>eNqNkDtLxEAURgdEUNct7VNZbda580xKWXxBwEbr4c4jMprNrJmkWH-9kQi2Vqc5fB8cQq6AbgGEvGGghRbbGYpWJ-SCVrWuQTMJZ2Sd8zulFIBRKcQ52TTpLbrCdTjlUGCP3THHXLRpKHzo8Fikwxj38QvHmPpLctpil8P6lyvyen_3snssm-eHp91tUyKjqiqlm--U0xYlp8ojhAASmNWqtrJC5LytVS29a53wFtvgkVsvtAuCKeGBr8j1snsY0ucU8mj2MbvQddiHNGXDaaVULdifiG5vbEof2QA1PxHMEsEsEWZx8y_R2CGGln8DQS1cdA</recordid><startdate>19950101</startdate><enddate>19950101</enddate><creator>Rohfleisch, Berhard</creator><creator>Wurth, Bernd</creator><creator>Antreich, Kurt</creator><general>ACM</general><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19950101</creationdate><title>Logic clause analysis for delay optimization</title><author>Rohfleisch, Berhard ; Wurth, Bernd ; Antreich, Kurt</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a2068-5c7916c7ba5306da1ee1512b769b58aa33f9695dcfc4dbafeda3bd47ce4264d13</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1995</creationdate><topic>Hardware -- Electronic design automation -- Logic synthesis -- Circuit optimization</topic><topic>Hardware -- Integrated circuits -- Logic circuits -- Combinational circuits</topic><toplevel>online_resources</toplevel><creatorcontrib>Rohfleisch, Berhard</creatorcontrib><creatorcontrib>Wurth, Bernd</creatorcontrib><creatorcontrib>Antreich, Kurt</creatorcontrib><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Rohfleisch, Berhard</au><au>Wurth, Bernd</au><au>Antreich, Kurt</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Logic clause analysis for delay optimization</atitle><btitle>Proceedings of the 32nd annual ACM/IEEE Design Automation Conference</btitle><date>1995-01-01</date><risdate>1995</risdate><spage>668</spage><epage>672</epage><pages>668-672</pages><isbn>0897917251</isbn><isbn>9780897917254</isbn><cop>New York, NY, USA</cop><pub>ACM</pub><doi>10.1145/217474.217608</doi><tpages>5</tpages><oa>free_for_read</oa></addata></record> |
fulltext | fulltext |
identifier | ISBN: 0897917251 |
ispartof | Proceedings of the 32nd annual ACM/IEEE Design Automation Conference, 1995, p.668-672 |
issn | |
language | eng |
recordid | cdi_acm_books_10_1145_217474_217608 |
source | IEEE Electronic Library (IEL) Conference Proceedings |
subjects | Hardware -- Electronic design automation -- Logic synthesis -- Circuit optimization Hardware -- Integrated circuits -- Logic circuits -- Combinational circuits |
title | Logic clause analysis for delay optimization |
url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-25T05%3A21%3A11IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_acm_b&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Logic%20clause%20analysis%20for%20delay%20optimization&rft.btitle=Proceedings%20of%20the%2032nd%20annual%20ACM/IEEE%20Design%20Automation%20Conference&rft.au=Rohfleisch,%20Berhard&rft.date=1995-01-01&rft.spage=668&rft.epage=672&rft.pages=668-672&rft.isbn=0897917251&rft.isbn_list=9780897917254&rft_id=info:doi/10.1145/217474.217608&rft_dat=%3Cproquest_acm_b%3E30866942%3C/proquest_acm_b%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=30866942&rft_id=info:pmid/&rfr_iscdi=true |