Nothing Special   »   [go: up one dir, main page]

skip to main content
research-article

Analysis and design of latch-controlled synchronous digital circuits

Published: 01 November 2006 Publication History

Abstract

The authors present a succinct formulation of the timing constraints for latch-controlled synchronous digital circuits. It is shown that the constraints are mildly nonlinear. The equivalence of the nonlinear optimal cycle time calculation problem to an associated and simpler linear programming (LP) problem is proved. A LP-based algorithm which is guaranteed to obtain the optimal cycle time for arbitrary circuits controlled by a general class of multiphase overlapped clocks is presented. The formulation and an initial implementation of the algorithm on some example circuits are illustrated

Cited By

View all
  • (2010)Statistical timing verification for transparently latched circuits through structural graph traversalProceedings of the 2010 Asia and South Pacific Design Automation Conference10.5555/1899721.1899877(663-668)Online publication date: 18-Jan-2010
  • (2009)Binning optimization based on SSTA for transparently-latched circuitsProceedings of the 2009 International Conference on Computer-Aided Design10.1145/1687399.1687462(328-335)Online publication date: 2-Nov-2009
  • (2009)Clock skew optimization via wiresizing for timing sign-off covering all process cornersProceedings of the 46th Annual Design Automation Conference10.1145/1629911.1629964(196-201)Online publication date: 26-Jul-2009
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  Volume 11, Issue 3
November 2006
133 pages

Publisher

IEEE Press

Publication History

Published: 01 November 2006

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 16 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2010)Statistical timing verification for transparently latched circuits through structural graph traversalProceedings of the 2010 Asia and South Pacific Design Automation Conference10.5555/1899721.1899877(663-668)Online publication date: 18-Jan-2010
  • (2009)Binning optimization based on SSTA for transparently-latched circuitsProceedings of the 2009 International Conference on Computer-Aided Design10.1145/1687399.1687462(328-335)Online publication date: 2-Nov-2009
  • (2009)Clock skew optimization via wiresizing for timing sign-off covering all process cornersProceedings of the 46th Annual Design Automation Conference10.1145/1629911.1629964(196-201)Online publication date: 26-Jul-2009
  • (2007)Globally optimal solutions of max---min systemsJournal of Global Optimization10.1007/s10898-007-9141-539:3(347-363)Online publication date: 1-Nov-2007
  • (2005)Slack borrowing in flip-flop based sequential circuitsProceedings of the 15th ACM Great Lakes symposium on VLSI10.1145/1057661.1057686(96-101)Online publication date: 17-Apr-2005
  • (2005)A survey of the theory of min-max systemsProceedings of the 2005 international conference on Advances in Intelligent Computing - Volume Part II10.1007/11538356_64(616-625)Online publication date: 23-Aug-2005
  • (2004)Linearization of the timing analysis and optimization of level-sensitive digital synchronous circuitsIEEE Transactions on Very Large Scale Integration (VLSI) Systems10.1109/TVLSI.2003.82052512:1(12-27)Online publication date: 1-Jan-2004
  • (2004)Exploiting level sensitive latches in wire pipeliningProceedings of the 2004 IEEE/ACM International conference on Computer-aided design10.1109/ICCAD.2004.1382587(283-290)Online publication date: 7-Nov-2004
  • (2003)From max-plus algebra to nonexpansive mappingsTheoretical Computer Science10.1016/S0304-3975(02)00235-9293:1(141-167)Online publication date: 3-Feb-2003
  • (2001)Static timing analysisLogic Synthesis and Verification10.5555/566845.566859(373-401)Online publication date: 1-Nov-2001
  • Show More Cited By

View Options

View options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media