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

skip to main content
10.1145/157485.164624acmconferencesArticle/Chapter ViewAbstractPublication PagesdacConference Proceedingsconference-collections
Article
Free access

A verification technique for gated clock

Published: 01 July 1993 Publication History
First page of PDF

References

[1]
D. Wallace and C. H. Sequin. ATV: An Abstract Timing Verifier. In Proceedings of the Design Automation Conference, pages 154-159. IEEE/ACM, 1988.
[2]
N. Weiner and A. Sangiownni-Vincentelli. Timing Analysis in a Logic Synthesis Environment. In Proceedings of the Design Automation Conference, pages 655-661. IEEE/ACM, 1989.
[3]
A. Ishii and C. E. Leiserson. A Timing Analysis of Level- Clocked Circuitry. In Advanced Research in VLSI: Proc. of the 7th MIT Conference, 1990.
[4]
K. Sakallah, T. N. Mudge, and O. A. Olukotun. Timing Verification and Optimal Clocking of Synchronous Digital Circuits. In Proceedings of the International Conference on Computer-Aided Design, pages 552-555. IEEE, 1990.
[5]
N. Shenoy, R. K. Brayton, and A. Sangiovanni-Vincentelli. A Pseudo-Polynomial Algorithm for Verification of Clocking Schemes. In Proceedings of the Tan 92:1992 Workshop on Timing Issues in the Specification and Synthesis of Digital System, 1992.
[6]
T. Szymanski and N. Shenoy. Verifying Clock Schedules. In Proceedings of the International Conference on Computer-Aided Design, 1992.
[7]
M. It. Dagenais and N. C. Rumin. Automatic Determination of Optimal Clocking Parameters in MOS VLSI Circuits. In Advanced Research in VLSI:Proc. of the 5th MIT Conference, pages 19-33, 1988.
[8]
E. Sentovich et al. Sequential Circuit Design Using Synthesis and Optimization. In Proceedings of the international Conference on Computer Design, 1992.
[9]
R. Tsay and I. Lin. A System Timing Verifier for Multi- Phase Level-Sensitive Clock Designs. In IBM Research Report, 1991.
[10]
N. Shenoy, It. K. Brayton, and A. Sangiovanni-Vineentelli. Retiming of Circuits with Single Phase Transparent Latches. In Proceedings of the International Conference on Computer Design, 1991.

Cited By

View all
  • (1994)Automated multi-cycle symbolic timing verification of microprocessor-based designsProceedings of the 31st annual Design Automation Conference10.1145/196244.196299(113-119)Online publication date: 6-Jun-1994

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
DAC '93: Proceedings of the 30th international Design Automation Conference
July 1993
768 pages
ISBN:0897915771
DOI:10.1145/157485
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1993

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Conference

DAC93
Sponsor:
DAC93: The 30th ACM/IEEE Design Automation Conference
June 14 - 18, 1993
Texas, Dallas, USA

Acceptance Rates

Overall Acceptance Rate 299 of 1,119 submissions, 27%

Upcoming Conference

DAC '25
62nd ACM/IEEE Design Automation Conference
June 22 - 26, 2025
San Francisco , CA , USA

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)27
  • Downloads (Last 6 weeks)9
Reflects downloads up to 16 Nov 2024

Other Metrics

Citations

Cited By

View all
  • (1994)Automated multi-cycle symbolic timing verification of microprocessor-based designsProceedings of the 31st annual Design Automation Conference10.1145/196244.196299(113-119)Online publication date: 6-Jun-1994

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media