Optimizing Sequential Cycles Through Shannon Decomposition and Retiming

Optimizing sequential cycles is essential for many types of high-performance circuits, such as pipelines for packet processing. Retiming is a powerful technique for speeding pipelines, but it is stymied by tight sequential cycles. Designers usually attack such cycles by manually combining Shannon de...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on computer-aided design of integrated circuits and systems 2007-03, Vol.26 (3), p.456-467
Hauptverfasser: Soviani, C., Tardieu, O., Edwards, S.A.
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 467
container_issue 3
container_start_page 456
container_title IEEE transactions on computer-aided design of integrated circuits and systems
container_volume 26
creator Soviani, C.
Tardieu, O.
Edwards, S.A.
description Optimizing sequential cycles is essential for many types of high-performance circuits, such as pipelines for packet processing. Retiming is a powerful technique for speeding pipelines, but it is stymied by tight sequential cycles. Designers usually attack such cycles by manually combining Shannon decomposition with retiming-effectively a form of speculation-but such manual decomposition is error prone. We propose an efficient algorithm that simultaneously applies Shannon decomposition and retiming to optimize circuits with tight sequential cycles. While the algorithm is only able to improve certain circuits (roughly half of the benchmarks we tried), the performance increase can be dramatic (7%-61%) with only a modest increase in area (1%-12%). The algorithm is also fast, making it a practical addition to a synthesis flow
doi_str_mv 10.1109/TCAD.2006.890583
format Article
fullrecord <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_proquest_miscellaneous_880665939</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4100763</ieee_id><sourcerecordid>880665939</sourcerecordid><originalsourceid>FETCH-LOGICAL-c364t-c8caeb12afec4ee8efdf225c4530bb8c211f993a549f503e9a7778c9c6da5b6c3</originalsourceid><addsrcrecordid>eNpdkMFLwzAUxoMoOKd3wUvx4qnzJWnS5Dg2ncJg4OY5ZNnrltGltekO86-3ZeLB0-PB7_v4-BFyT2FEKejn1WQ8HTEAOVIahOIXZEA1z9OMCnpJBsBylQLkcE1uYtwD0EwwPSCzRd36g__2YZss8euIofW2TCYnV2JMVrumOm53yXJnQ6hCMkVXHeoq-tZ3nw2b5AP7eNjekqvClhHvfu-QfL6-rCZv6Xwxe5-M56njMmtTp5zFNWW2QJchKiw2BWPCZYLDeq0co7TQmluR6UIAR23zPFdOO7mxYi0dH5Knc2_dVN3a2JqDjw7L0gasjtEoBVIKzXVHPv4j99WxCd04o2QGQuaMdhCcIddUMTZYmLrxB9ucDAXTezW9V9N7NWevXeThHPGI-IdntJMrOf8BcKl0ig</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>864056721</pqid></control><display><type>article</type><title>Optimizing Sequential Cycles Through Shannon Decomposition and Retiming</title><source>IEEE Electronic Library (IEL)</source><creator>Soviani, C. ; Tardieu, O. ; Edwards, S.A.</creator><creatorcontrib>Soviani, C. ; Tardieu, O. ; Edwards, S.A.</creatorcontrib><description>Optimizing sequential cycles is essential for many types of high-performance circuits, such as pipelines for packet processing. Retiming is a powerful technique for speeding pipelines, but it is stymied by tight sequential cycles. Designers usually attack such cycles by manually combining Shannon decomposition with retiming-effectively a form of speculation-but such manual decomposition is error prone. We propose an efficient algorithm that simultaneously applies Shannon decomposition and retiming to optimize circuits with tight sequential cycles. While the algorithm is only able to improve certain circuits (roughly half of the benchmarks we tried), the performance increase can be dramatic (7%-61%) with only a modest increase in area (1%-12%). The algorithm is also fast, making it a practical addition to a synthesis flow</description><identifier>ISSN: 0278-0070</identifier><identifier>EISSN: 1937-4151</identifier><identifier>DOI: 10.1109/TCAD.2006.890583</identifier><identifier>CODEN: ITCSDI</identifier><language>eng</language><publisher>New York: IEEE</publisher><subject>Algorithms ; Benchmarks ; Circuit optimization ; Circuit synthesis ; Circuits ; Clocks ; Computer aided design ; Decomposition ; Delay ; Design engineering ; Digital circuits ; encoding ; Feedback loop ; Logic circuits ; Multiplexing ; Optimization ; Pipelines ; Registers ; Sequential circuits ; sequential logic circuits</subject><ispartof>IEEE transactions on computer-aided design of integrated circuits and systems, 2007-03, Vol.26 (3), p.456-467</ispartof><rights>Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2007</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c364t-c8caeb12afec4ee8efdf225c4530bb8c211f993a549f503e9a7778c9c6da5b6c3</citedby><cites>FETCH-LOGICAL-c364t-c8caeb12afec4ee8efdf225c4530bb8c211f993a549f503e9a7778c9c6da5b6c3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/4100763$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,780,784,796,27924,27925,54758</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/4100763$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Soviani, C.</creatorcontrib><creatorcontrib>Tardieu, O.</creatorcontrib><creatorcontrib>Edwards, S.A.</creatorcontrib><title>Optimizing Sequential Cycles Through Shannon Decomposition and Retiming</title><title>IEEE transactions on computer-aided design of integrated circuits and systems</title><addtitle>TCAD</addtitle><description>Optimizing sequential cycles is essential for many types of high-performance circuits, such as pipelines for packet processing. Retiming is a powerful technique for speeding pipelines, but it is stymied by tight sequential cycles. Designers usually attack such cycles by manually combining Shannon decomposition with retiming-effectively a form of speculation-but such manual decomposition is error prone. We propose an efficient algorithm that simultaneously applies Shannon decomposition and retiming to optimize circuits with tight sequential cycles. While the algorithm is only able to improve certain circuits (roughly half of the benchmarks we tried), the performance increase can be dramatic (7%-61%) with only a modest increase in area (1%-12%). The algorithm is also fast, making it a practical addition to a synthesis flow</description><subject>Algorithms</subject><subject>Benchmarks</subject><subject>Circuit optimization</subject><subject>Circuit synthesis</subject><subject>Circuits</subject><subject>Clocks</subject><subject>Computer aided design</subject><subject>Decomposition</subject><subject>Delay</subject><subject>Design engineering</subject><subject>Digital circuits</subject><subject>encoding</subject><subject>Feedback loop</subject><subject>Logic circuits</subject><subject>Multiplexing</subject><subject>Optimization</subject><subject>Pipelines</subject><subject>Registers</subject><subject>Sequential circuits</subject><subject>sequential logic circuits</subject><issn>0278-0070</issn><issn>1937-4151</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2007</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNpdkMFLwzAUxoMoOKd3wUvx4qnzJWnS5Dg2ncJg4OY5ZNnrltGltekO86-3ZeLB0-PB7_v4-BFyT2FEKejn1WQ8HTEAOVIahOIXZEA1z9OMCnpJBsBylQLkcE1uYtwD0EwwPSCzRd36g__2YZss8euIofW2TCYnV2JMVrumOm53yXJnQ6hCMkVXHeoq-tZ3nw2b5AP7eNjekqvClhHvfu-QfL6-rCZv6Xwxe5-M56njMmtTp5zFNWW2QJchKiw2BWPCZYLDeq0co7TQmluR6UIAR23zPFdOO7mxYi0dH5Knc2_dVN3a2JqDjw7L0gasjtEoBVIKzXVHPv4j99WxCd04o2QGQuaMdhCcIddUMTZYmLrxB9ucDAXTezW9V9N7NWevXeThHPGI-IdntJMrOf8BcKl0ig</recordid><startdate>20070301</startdate><enddate>20070301</enddate><creator>Soviani, C.</creator><creator>Tardieu, O.</creator><creator>Edwards, S.A.</creator><general>IEEE</general><general>The Institute of Electrical and Electronics Engineers, Inc. (IEEE)</general><scope>97E</scope><scope>RIA</scope><scope>RIE</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7SP</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>F28</scope><scope>FR3</scope></search><sort><creationdate>20070301</creationdate><title>Optimizing Sequential Cycles Through Shannon Decomposition and Retiming</title><author>Soviani, C. ; Tardieu, O. ; Edwards, S.A.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c364t-c8caeb12afec4ee8efdf225c4530bb8c211f993a549f503e9a7778c9c6da5b6c3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2007</creationdate><topic>Algorithms</topic><topic>Benchmarks</topic><topic>Circuit optimization</topic><topic>Circuit synthesis</topic><topic>Circuits</topic><topic>Clocks</topic><topic>Computer aided design</topic><topic>Decomposition</topic><topic>Delay</topic><topic>Design engineering</topic><topic>Digital circuits</topic><topic>encoding</topic><topic>Feedback loop</topic><topic>Logic circuits</topic><topic>Multiplexing</topic><topic>Optimization</topic><topic>Pipelines</topic><topic>Registers</topic><topic>Sequential circuits</topic><topic>sequential logic circuits</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Soviani, C.</creatorcontrib><creatorcontrib>Tardieu, O.</creatorcontrib><creatorcontrib>Edwards, S.A.</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 2005-present</collection><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics &amp; Communications 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><collection>ANTE: Abstracts in New Technology &amp; Engineering</collection><collection>Engineering Research Database</collection><jtitle>IEEE transactions on computer-aided design of integrated circuits and systems</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Soviani, C.</au><au>Tardieu, O.</au><au>Edwards, S.A.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Optimizing Sequential Cycles Through Shannon Decomposition and Retiming</atitle><jtitle>IEEE transactions on computer-aided design of integrated circuits and systems</jtitle><stitle>TCAD</stitle><date>2007-03-01</date><risdate>2007</risdate><volume>26</volume><issue>3</issue><spage>456</spage><epage>467</epage><pages>456-467</pages><issn>0278-0070</issn><eissn>1937-4151</eissn><coden>ITCSDI</coden><abstract>Optimizing sequential cycles is essential for many types of high-performance circuits, such as pipelines for packet processing. Retiming is a powerful technique for speeding pipelines, but it is stymied by tight sequential cycles. Designers usually attack such cycles by manually combining Shannon decomposition with retiming-effectively a form of speculation-but such manual decomposition is error prone. We propose an efficient algorithm that simultaneously applies Shannon decomposition and retiming to optimize circuits with tight sequential cycles. While the algorithm is only able to improve certain circuits (roughly half of the benchmarks we tried), the performance increase can be dramatic (7%-61%) with only a modest increase in area (1%-12%). The algorithm is also fast, making it a practical addition to a synthesis flow</abstract><cop>New York</cop><pub>IEEE</pub><doi>10.1109/TCAD.2006.890583</doi><tpages>12</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 0278-0070
ispartof IEEE transactions on computer-aided design of integrated circuits and systems, 2007-03, Vol.26 (3), p.456-467
issn 0278-0070
1937-4151
language eng
recordid cdi_proquest_miscellaneous_880665939
source IEEE Electronic Library (IEL)
subjects Algorithms
Benchmarks
Circuit optimization
Circuit synthesis
Circuits
Clocks
Computer aided design
Decomposition
Delay
Design engineering
Digital circuits
encoding
Feedback loop
Logic circuits
Multiplexing
Optimization
Pipelines
Registers
Sequential circuits
sequential logic circuits
title Optimizing Sequential Cycles Through Shannon Decomposition and Retiming
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-26T09%3A49%3A35IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Optimizing%20Sequential%20Cycles%20Through%20Shannon%20Decomposition%20and%20Retiming&rft.jtitle=IEEE%20transactions%20on%20computer-aided%20design%20of%20integrated%20circuits%20and%20systems&rft.au=Soviani,%20C.&rft.date=2007-03-01&rft.volume=26&rft.issue=3&rft.spage=456&rft.epage=467&rft.pages=456-467&rft.issn=0278-0070&rft.eissn=1937-4151&rft.coden=ITCSDI&rft_id=info:doi/10.1109/TCAD.2006.890583&rft_dat=%3Cproquest_RIE%3E880665939%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=864056721&rft_id=info:pmid/&rft_ieee_id=4100763&rfr_iscdi=true