Design Verification Based on Theorem - Proving Technique for Sequential Control Circuits with Timing Coordination

• Item type: Journal(1)
• 公開日: 1994-12-15
• タイトル: Design Verification Based on Theorem - Proving Technique for Sequential Control Circuits with Timing Coordination
• タイトル / 言語: en
• タイトル: Design Verification Based on Theorem - Proving Technique for Sequential Control Circuits with Timing Coordination
• 言語: eng
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: ハードウェア設計
• 著者所属: Energy Research Laboratory Hitachi Ltd 7 -2- 1 Omika - cho Hitachi Ibaraki 316
• 著者所属: Systems Engineering Division Hitachi Ltd 6 Kanda - surugadai 4 chome Chiyoda - ku Tokyo 101
• 著者所属: Systems Engineering Division Hitachi Ltd 6 Kanda - surugadai 4 chome Chiyoda - ku Tokyo 101
• 著者所属: Kokubu Works Hitachi Ltd 1 - 1 Kokubo - cho 1chome Hitachi Ibaraki 316
• 著者所属: Computer & Communication Research Center The Tokyo Electric Power Co. 1 -4- 10 Irifune Chuo - ku Tokyo 104
• 著者所属: Computer & Communication Research Center The Tokyo Electric Power Co. 1 -4- 10 Irifune Chuo - ku Tokyo 104
• 著者所属(英): en
• 著者所属(英): Energy Research Laboratory, Hitachi, Ltd
• 著者所属(英): en
• 著者所属(英): Systems Engineering Division, Hitachi, Ltd
• 著者所属(英): en
• 著者所属(英): Systems Engineering Division, Hitachi, Ltd 6 Kanda - surugadai 4 chome, Chiyoda - ku, Tokyo 101
• 著者所属(英): en
• 著者所属(英): Kokubu Works, Hitachi, Ltd
• 著者所属(英): en
• 著者所属(英): Computer & Communication Research Center, The Tokyo Electric Power Co
• 著者所属(英): en
• 著者所属(英): Computer & Communication Research Center, The Tokyo Electric Power Co
• 著者名: Naoyuki, Yamada; Yoshikatsu, Ueda; Junko, Ito; Tomoharu, Nakamura; Junichi, Yoshizawa; Satoshi, Matsuda
• 著者名(英): Naoyuki, Yamada; Yoshikatsu, Ueda; Junko, Ito; Tomoharu, Nakamura; Junichi, Yoshizawa; Satoshi, Matsuda
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: A design verification method for sequential control circuits with timing coordination has been developed. Unlike prevailing numeric simulations this method is based on a theorem-proving technique. Sequential control circuits realize their target functions by coordinating the asyn-chronously inputted signals. In order to verify timing coordination efnciently the control strategy which combines hyperresolution and a connection graph method with attached procedures for handling time variables symbolically has been developed. This method facilitates not only the verification of timing coordination but also the extraction of intended behavlours from proposed designs. The developed method was applied to verificatlon of an auto-reclosing circuit in an electric power substatlon which contains about 40 components. The verification for each specification was executed correctly In about I minute on a mainframe computer. The developed verification method was judged to be useful and efficient for practical use.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A design verification method for sequential control circuits with timing coordination has been developed. Unlike prevailing numeric simulations, this method is based on a theorem-proving technique. Sequential control circuits realize their target functions by coordinating the asyn-chronously inputted signals. In order to verify timing coordination efnciently, the control strategy which combines hyperresolution and a connection graph method with attached procedures for handling time variables symbolically has been developed. This method facilitates not only the verification of timing coordination but also the extraction of intended behavlours from proposed designs. The developed method was applied to verificatlon of an auto-reclosing circuit in an electric power substatlon which contains about 40 components. The verification for each specification was executed correctly In about I minute on a mainframe computer. The developed verification method was judged to be useful and efficient for practical use.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 35, 号 12, p. 2774-2784, 発行日 1994-12-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764