単一磁束量子回路の設計検証のための時刻付き論理式の等価性判定手法  [in Japanese] Equivalence checking method of timed logic formulae for verification of sinde-flux-quantum circuit  [in Japanese]

Search this Article

Author(s)

Abstract

本研究では、単一磁束量子回路を時刻付き論理式で表現して等価性判定を行うことで、回路の状態数を削減して機能検証を行う手法を提案する。本手法では、回路を時刻付き論理式で表現して、変数の値を定義する時刻と異なる時刻で参照される変数のみを状態変数として扱い等価性判定を行う。これにより、少ない状態数での単一磁束量子回路の設計検証が行える。

This paper proposes an equivalence checking method of timed logic formulae for reducing number of states in verification of single-flux-quantum circuits. Proposed verification method deal with variables at different times appeared in timed logic formulae as state variables. The verification of single-flux-quantum circuits can be achieved with small states.

Journal

  • Technical report of IEICE. VLD

    Technical report of IEICE. VLD 111(450), 91-96, 2012-02-28

    The Institute of Electronics, Information and Communication Engineers

References:  6

Codes

  • NII Article ID (NAID)
    110009545703
  • NII NACSIS-CAT ID (NCID)
    AN10013323
  • Text Lang
    JPN
  • Article Type
    ART
  • ISSN
    0913-5685
  • NDL Article ID
    023575427
  • NDL Call No.
    Z16-940
  • Data Source
    CJP  NDL  NII-ELS 
Page Top