Functional Path Analysis for High Quality Designs
碩士 === 國立臺灣大學 === 電機工程學研究所 === 106 === Correctly determining functional relationship between design variables is important in many circuit design steps such as logic synthesis, design verification and test pattern generation. To this end, one important question is whether two structurally related va...
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Others |
Language: | en_US |
Published: |
2018
|
Online Access: | http://ndltd.ncl.edu.tw/handle/w73n7y |
id |
ndltd-TW-106NTU05442063 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-TW-106NTU054420632019-05-30T03:50:56Z http://ndltd.ncl.edu.tw/handle/w73n7y Functional Path Analysis for High Quality Designs 有效路徑分析之於高品質電路設計 Li-Jie Chen 陳立杰 碩士 國立臺灣大學 電機工程學研究所 106 Correctly determining functional relationship between design variables is important in many circuit design steps such as logic synthesis, design verification and test pattern generation. To this end, one important question is whether two structurally related variables form a real functional path or not. Then given a variable and its functional fanin variables, another important question is whether one fanin variable has the controllability to affect the functional paths for other fanin variables. And if it does, which values enable or block other paths — these values can help improve design verifiability and testability. In this work we answer these questions by performing empirical analysis on false path elimination algorithms and provide an efficient approximate algorithm. We then formulate the path controllability problem and propose several algorithms to solve it. Our proposed functional path analysis methods can improve synthesis, verification and test generation effectiveness to produce higher quality designs. Sy-Yen Kuo 郭斯彥 2018 學位論文 ; thesis 26 en_US |
collection |
NDLTD |
language |
en_US |
format |
Others
|
sources |
NDLTD |
description |
碩士 === 國立臺灣大學 === 電機工程學研究所 === 106 === Correctly determining functional relationship between design variables is important in many circuit design steps such as logic synthesis, design verification and test pattern generation. To this end, one important question is whether two structurally related variables form a real functional path or not. Then given a variable and its functional fanin variables, another important question is whether one fanin variable has the controllability to affect the functional paths for other fanin variables. And if it does, which values enable or block other paths — these values can help improve design verifiability and testability. In this work we answer these questions by performing empirical analysis on false path elimination algorithms and provide an efficient approximate algorithm. We then formulate the path controllability problem and propose several algorithms to solve it. Our proposed functional path analysis methods can improve synthesis, verification and test generation effectiveness to produce higher quality designs.
|
author2 |
Sy-Yen Kuo |
author_facet |
Sy-Yen Kuo Li-Jie Chen 陳立杰 |
author |
Li-Jie Chen 陳立杰 |
spellingShingle |
Li-Jie Chen 陳立杰 Functional Path Analysis for High Quality Designs |
author_sort |
Li-Jie Chen |
title |
Functional Path Analysis for High Quality Designs |
title_short |
Functional Path Analysis for High Quality Designs |
title_full |
Functional Path Analysis for High Quality Designs |
title_fullStr |
Functional Path Analysis for High Quality Designs |
title_full_unstemmed |
Functional Path Analysis for High Quality Designs |
title_sort |
functional path analysis for high quality designs |
publishDate |
2018 |
url |
http://ndltd.ncl.edu.tw/handle/w73n7y |
work_keys_str_mv |
AT lijiechen functionalpathanalysisforhighqualitydesigns AT chénlìjié functionalpathanalysisforhighqualitydesigns AT lijiechen yǒuxiàolùjìngfēnxīzhīyúgāopǐnzhìdiànlùshèjì AT chénlìjié yǒuxiàolùjìngfēnxīzhīyúgāopǐnzhìdiànlùshèjì |
_version_ |
1719195998287298560 |