Path controllability analysis for high quality designs

Li Jie Chen; Hong Zu Chou; Kai Hui Chang; Sy Yen Kuo; Chi Lai Huang

doi:10.1145/3287624.3287659

Path controllability analysis for high quality designs

Li Jie Chen
, Hong Zu Chou
, Kai Hui Chang
, Sy Yen Kuo
, Chi Lai Huang

Department of Electrical Engineering
National Taiwan University
Avery Design Systems, Inc.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	687-692
Number of pages	6
ISBN (Electronic)	9781450360074
DOIs	https://doi.org/10.1145/3287624.3287659
State	Published - 21 01 2019
Externally published	Yes
Event	24th Asia and South Pacific Design Automation Conference, ASPDAC 2019 - Tokyo, Japan Duration: 21 01 2019 → 24 01 2019

Publication series

Name	Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Conference

Conference	24th Asia and South Pacific Design Automation Conference, ASPDAC 2019
Country/Territory	Japan
City	Tokyo
Period	21/01/19 → 24/01/19

Bibliographical note

Publisher Copyright:
© 2019 Association for Computing Machinery.

Keywords

At-Speed Test
CDTG
Path Controllability
X-Analysis

Access to Document

10.1145/3287624.3287659

Cite this

Chen, L. J., Chou, H. Z., Chang, K. H., Kuo, S. Y., & Huang, C. L. (2019). Path controllability analysis for high quality designs. In ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference (pp. 687-692). (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1145/3287624.3287659

@inproceedings{04e63d61e8564b1b8d33c90fd212576c,

title = "Path controllability analysis for high quality designs",

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.",

keywords = "At-Speed Test, CDTG, Path Controllability, X-Analysis",

author = "Chen, \{Li Jie\} and Chou, \{Hong Zu\} and Chang, \{Kai Hui\} and Kuo, \{Sy Yen\} and Huang, \{Chi Lai\}",

note = "Publisher Copyright: {\textcopyright} 2019 Association for Computing Machinery.; 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019 ; Conference date: 21-01-2019 Through 24-01-2019",

year = "2019",

month = jan,

day = "21",

doi = "10.1145/3287624.3287659",

language = "英语",

series = "Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "687--692",

booktitle = "ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference",

address = "美国",

}

Chen, LJ, Chou, HZ, Chang, KH, Kuo, SY & Huang, CL 2019, Path controllability analysis for high quality designs. in ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference. Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC, Institute of Electrical and Electronics Engineers Inc., pp. 687-692, 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019, Tokyo, Japan, 21/01/19. https://doi.org/10.1145/3287624.3287659

Path controllability analysis for high quality designs. / Chen, Li Jie; Chou, Hong Zu; Chang, Kai Hui et al.
ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference. Institute of Electrical and Electronics Engineers Inc., 2019. p. 687-692 (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Path controllability analysis for high quality designs

AU - Chen, Li Jie

AU - Chou, Hong Zu

AU - Chang, Kai Hui

AU - Kuo, Sy Yen

AU - Huang, Chi Lai

PY - 2019/1/21

Y1 - 2019/1/21

N2 - 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.

AB - 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.

KW - At-Speed Test

KW - CDTG

KW - Path Controllability

KW - X-Analysis

UR - https://www.scopus.com/pages/publications/85061123882

U2 - 10.1145/3287624.3287659

DO - 10.1145/3287624.3287659

M3 - 会议稿件

AN - SCOPUS:85061123882

T3 - Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

SP - 687

EP - 692

BT - ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019

Y2 - 21 January 2019 through 24 January 2019

ER -

Path controllability analysis for high quality designs

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this