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.

研究成果: 圖書/報告稿件的類型 › 會議稿件 › 同行評審

摘要

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.

原文	英語
主出版物標題	ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference
發行者	Institute of Electrical and Electronics Engineers Inc.
頁面	687-692
頁數	6
ISBN（電子）	9781450360074
DOIs	https://doi.org/10.1145/3287624.3287659
出版狀態	已出版 - 21 01 2019
對外發佈	是
事件	24th Asia and South Pacific Design Automation Conference, ASPDAC 2019 - Tokyo, 日本持續時間: 21 01 2019 → 24 01 2019

出版系列

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

Conference

Conference	24th Asia and South Pacific Design Automation Conference, ASPDAC 2019
國家/地區	日本
城市	Tokyo
期間	21/01/19 → 24/01/19

文獻附註

Publisher Copyright:
© 2019 Association for Computing Machinery.

存取文件

10.1145/3287624.3287659

其它文件與鏈接

Link to publication in Scopus

引用此

Chen, L. J., Chou, H. Z., Chang, K. H., Kuo, S. Y., & Huang, C. L. (2019). Path controllability analysis for high quality designs. 於 ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference (頁 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. 於 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., 頁 687-692, 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019, Tokyo, 日本, 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 等.
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).

研究成果: 圖書/報告稿件的類型 › 會議稿件 › 同行評審

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

摘要

出版系列

Conference

文獻附註

存取文件

其它文件與鏈接

指紋

引用此