|
method for functional timing analysis
|
刊登日期:2014/05/21 |
|
|
|
|
|
‧ 專利名稱 |
|
‧ 專利證書號 |
8671375B1
|
‧ 專利權人 |
國立臺灣大學 |
‧ 專利國家
(申請日) |
美國 (2012/11/09)
|
|
|
|
‧ 發明人/PI |
江介宏,鍾逸亭,
|
‧ 單位 |
電子工程學研究所
|
‧ 簡歷/Experience |
|
|
技術摘要 / Our Technology: |
A functional timing analysis method, executed in a computing device, comprises: step A: obtaining a circuit; step B: selecting a target delay time from a delay time set for a node in the circuit for verifying whether the target delay time is attainable by some input assignment; step C: generating a timed characteristic function associated with the selected target delay time for the node recursively from the timed characteristic functions associated with the corresponding delay times for its fanin nodes is generated as a target formula; step D: recursively translating the timed characteristic function into timed characteristic function clauses of the target formula by using an implication operator; step E: checking whether the target formula is satisfied by using a Boolean satisfiability solver; and step F: if the target formula is satisfied, the selected target delay time is attainable by some input assignment to the circuit.
|
專利簡述 / Intellectual Properties: |
|
|
聯繫方式 / Contact: |
臺大產學合作總中心 / Center of Industry-Academia Collaboration, NTU |
|
Email:ordiac@ntu.edu.tw |
電話/Tel:02-3366-9945 |
|
|
|
|
|
|