skip to main content
10.1145/3287624.3287659acmconferencesArticle/Chapter ViewAbstractPublication PagesaspdacConference Proceedingsconference-collections
research-article

Path controllability analysis for high quality designs

Published: 21 January 2019 Publication History

Abstract

Given a design variable and its fanin cone, determining whether one fanin variable has controlling power over other fanin variables can benefit many design steps such as verification, synthesis and test generation. In this work we formulate this path controllability problem and propose several algorithms that not only solve this problem but also return values that enable or block other fanin variables. Empirical results show that our algorithms can effectively perform path controllability analysis and help produce high-quality designs.

References

[1]
R. E. Bryant. 1990. Symbolic simulation techniques and applications. In DAC'90. 517--521.
[2]
J. Campos and H. Al-Asaad. 2005. Search-space optimizations for high-level ATPG. In MTV'05. 84--89.
[3]
K. H. Chang, H. Z. Chou, and I. L. Markov. 2012. RTL analysis and modifications for improving at-speed test. In DATE'12. 400--405.
[4]
W. Chen, L. C. Wang, J. Bhadra, and M. Abadir. 2013. Simulation knowledge extraction and reuse in constrained random processor verification. In DAC'13. 1--6.
[5]
S. Eggersglüß and R. Drechsler. 2011. As-robust-as-possible test generation in the presence of small delay defects using pseudo-Boolean optimization. In DATE'11. 1291--1296.
[6]
D. Lampret et al. 1999. OpenCores. Retrieved April 7, 2018 from http://www.opencores.org
[7]
S. Eggersglüß et al. 2010. MONSOON: SAT-based ATPG for path delay faults using multiple-valued logics. Journal of Electronic Testing: Theory and Applications 26, 3 (2010), 307--322.
[8]
D. Geist, M. Farkas, A. Landver, Y. Lichtenstein, S. Ur, and Y. Wolfsthal. 1996. Coverage-directed test generation using symbolic techniques. In FMCAD'96. 143--158.
[9]
O. Guzey and L. C. Wang. 2007. Coverage-directed test generation through automatic constraint extraction. In HLDVT Workshop. 151--158.
[10]
L. Liu and S. Vasudevan. 2009. STAR Generating input vectors for design validation by static analysis of RTL. In HLDVT Workshop. 32--37.
[11]
A. Mishchenko, S. Chatterjee, and R. Brayton. 2006. DAG-aware AIG rewriting: a fresh look at combinational logic synthesis. In DAC'06. 532--535.
[12]
A. Mishchenko, S. Chatterjee, R. Jiang, and R. Brayton. 2005. FRAIGs: A unifying representation for logic synthesis and verification. In ERL Technical Report'05.
[13]
L. Piper and V. Vimjam. 2012. X-Propagation Woes: Masking bugs at RTL and unnecessary debug at the netlist. In DVCon'12. session 5.3.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ASPDAC '19: Proceedings of the 24th Asia and South Pacific Design Automation Conference
January 2019
794 pages
ISBN:9781450360074
DOI:10.1145/3287624
© 2019 Association for Computing Machinery. ACM acknowledges that this contribution was authored or co-authored by an employee, contractor or affiliate of a national government. As such, the Government retains a nonexclusive, royalty-free right to publish or reproduce this article, or to allow others to do so, for Government purposes only.

Sponsors

In-Cooperation

  • IEICE ESS: Institute of Electronics, Information and Communication Engineers, Engineering Sciences Society
  • IEEE CAS
  • IEEE CEDA
  • IPSJ SIG-SLDM: Information Processing Society of Japan, SIG System LSI Design Methodology

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 January 2019

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. CDTG
  2. at-speed test
  3. path controllability
  4. x-analysis

Qualifiers

  • Research-article

Conference

ASPDAC '19
Sponsor:

Acceptance Rates

Overall Acceptance Rate 466 of 1,454 submissions, 32%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 78
    Total Downloads
  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 17 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media