北道 淳司 KITAMICHI JUNJI

ID:9000046015232

大阪大学大学院基礎工学研究科情報数理系専攻 Department of Informatics and Mathematical Sciences, Graduate School of Engineering Science, Osaka University (1997年 CiNii収録論文より)

Search authors sharing the same name

Articles:  1-1 of 1

  • A Formal Method of Proving Invariants for Synchronous Sequential Circuits with Plural Controllers  [in Japanese]

    SAITOH YOSHIKATSU , TAKENAKA TAKASHI , KITAMICHI JUNJI , FUNABIKI NOBUO

    高位設計における複数の制御部を持つ同期式順序回路を対象とする, 不変式の証明を用いた一形式的検証法を提案する. 不変式とは設計者あるいは検証者が回路の動作中にレジスタや制御信号などの間に成り立つと考える関係である. 回路記述は, 複数の有限状態部 (制御部) とそれらが制御するデータパスからなる. 不変式は各制御部の任意の有限状態に設定することができる. 制御部における実行条件, データパスにおけ …

    IPSJ SIG Notes 127, 41-48, 1997-12-11

    References (13)

Page Top