[發明專利]一種利用圖式標明HPD邏輯可靠性的方法

有效

• 申請號: 201310627430.1
• 申請日: 2013-11-29
• 公開（公告）號: CN103729289A
• 公開（公告）日: 2014-04-16
• 發明（設計）人: 秦宇;高玉斌;袁勁濤;張亞棟;趙云飛
• 申請（專利權）人: 北京廣利核系統工程有限公司;中國廣核集團有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京元中知識產權代理有限責任公司 11223
• 代理人: 王明霞

1.一種利用圖式標明HPD邏輯可靠性的方法，包括由Verilog語言描述的邏輯功能模塊，其特征在于，首先建立一個圖式文件，然后在圖式文件中進行如下操作：

步驟1、將邏輯功能模塊中的所有信號類型用相應的信號圖式符號進行表示；

步驟2、將邏輯功能模塊中的阻塞賦值關系、非阻塞賦值關系和約束關系分別用相應的關系圖式符號替換，根據邏輯功能模塊的輸出來反推各信號類型的連接關系，然后在圖式文件中從結尾逐級向上用相應的關系圖式符號對各信號圖式符號進行連接；

步驟3、在連接過程中，出現兩個或兩個以上的下級信號圖式符號與同一個上級信號圖式符號連接的情況時，復制此上級信號圖式符號并分別與相應的下級信號圖式符號建立連接關系；

步驟4、在相同或不同層級的信號圖式符號出現重復時，對類型為變量的重復信號圖式符號用重用圖式符號進行標明，同時建立針對此信號圖式符號的下級連接圖式的連接子圖，連接子圖用帶有對應調用圖式符號的此信號圖式符號標識；

步驟5、建立一個表示最終邏輯輸出的功能信號圖式，然后與圖式文件中涉及到輸出的信號圖式符號連接，得到邏輯功能模塊無閉環的樹形邏輯關系圖式。

2.如權利要求1所述的方法，其特征在于，所述信號圖式符號中，當一個關系圖式符號兩端的信號圖式符號相同時，分別對相應的信號圖式符號進行時域標識。

3.如權利要求1所述的方法，其特征在于，所述信號圖式符號中包含有重要度信息，所述重要度信息根據各信號圖式符號在圖式文件中的出現次數、層級和加權系數的乘積得到。

4.如權利要求1所述的方法，其特征在于，所述的變量不包括在圖式上結構已知或固定的輸入信號類型、保持信號類型和自運算信號類型。

5.如權利要求1所述的方法，其特征在于，所述步驟4中，當同一個信號圖式符號連接有兩個相同的信號圖式符號時，刪除多余的重復信號圖式符號僅保留一個。