Extraction of Behavioral Descriptions from Synchronous Sequential Circuits

Masahiko OHMURA; Hiroto YASUURA; Keikichi TAMARU

Extraction of Behavioral Descriptions from Synchronous Sequential Circuits

Masahiko OHMURA, Hiroto YASUURA, Keikichi TAMARU

Full Text Views

0

Share
Cite this

Summary :

Behavioral extraction from circuit description is a useful technique for logic design verification. We have proposed a technique of extraction from combinational circuits and developed a prototype system. To use this system practically, it is necessary to deal with sequential circuits. In this paper, we will present a new technique to extract behavioral descriptions from synchronous sequential circuits which include some flip-flops. Flip-flops are classified to two types. The one is a part of control registers. The other is a part of data registers. Behavior of the circuit with control registers is described by the state transition. Behavior of the circuit with data registers is described by the movement of data among registers. There are many circuits, as micro processors, which realize a function after some times of state transitions occurred. In such circuits, it is more important to abstract the function than to extract each state transition. We have progressed our system to extract such behaviors.

Publication: IEICE TRANSACTIONS on Fundamentals Vol.E75-A No.10 pp.1239-1246

Publication Date: 1992/10/25

Publicized

Online ISSN

DOI

Type of Manuscript: Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)

Category

Cite this

Copy

Masahiko OHMURA, Hiroto YASUURA, Keikichi TAMARU, "Extraction of Behavioral Descriptions from Synchronous Sequential Circuits" in IEICE TRANSACTIONS on Fundamentals, vol. E75-A, no. 10, pp. 1239-1246, October 1992, doi: .
Abstract: Behavioral extraction from circuit description is a useful technique for logic design verification. We have proposed a technique of extraction from combinational circuits and developed a prototype system. To use this system practically, it is necessary to deal with sequential circuits. In this paper, we will present a new technique to extract behavioral descriptions from synchronous sequential circuits which include some flip-flops. Flip-flops are classified to two types. The one is a part of control registers. The other is a part of data registers. Behavior of the circuit with control registers is described by the state transition. Behavior of the circuit with data registers is described by the movement of data among registers. There are many circuits, as micro processors, which realize a function after some times of state transitions occurred. In such circuits, it is more important to abstract the function than to extract each state transition. We have progressed our system to extract such behaviors.
URL: https://globals.ieice.org/en_transactions/fundamentals/10.1587/e75-a_10_1239/_p

Copy

@ARTICLE{e75-a_10_1239,
author={Masahiko OHMURA, Hiroto YASUURA, Keikichi TAMARU, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Extraction of Behavioral Descriptions from Synchronous Sequential Circuits},
year={1992},
volume={E75-A},
number={10},
pages={1239-1246},
abstract={Behavioral extraction from circuit description is a useful technique for logic design verification. We have proposed a technique of extraction from combinational circuits and developed a prototype system. To use this system practically, it is necessary to deal with sequential circuits. In this paper, we will present a new technique to extract behavioral descriptions from synchronous sequential circuits which include some flip-flops. Flip-flops are classified to two types. The one is a part of control registers. The other is a part of data registers. Behavior of the circuit with control registers is described by the state transition. Behavior of the circuit with data registers is described by the movement of data among registers. There are many circuits, as micro processors, which realize a function after some times of state transitions occurred. In such circuits, it is more important to abstract the function than to extract each state transition. We have progressed our system to extract such behaviors.},
keywords={},
doi={},
ISSN={},
month={October},}

Copy

TY - JOUR
TI - Extraction of Behavioral Descriptions from Synchronous Sequential Circuits
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 1239
EP - 1246
AU - Masahiko OHMURA
AU - Hiroto YASUURA
AU - Keikichi TAMARU
PY - 1992
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E75-A
IS - 10
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - October 1992
AB - Behavioral extraction from circuit description is a useful technique for logic design verification. We have proposed a technique of extraction from combinational circuits and developed a prototype system. To use this system practically, it is necessary to deal with sequential circuits. In this paper, we will present a new technique to extract behavioral descriptions from synchronous sequential circuits which include some flip-flops. Flip-flops are classified to two types. The one is a part of control registers. The other is a part of data registers. Behavior of the circuit with control registers is described by the state transition. Behavior of the circuit with data registers is described by the movement of data among registers. There are many circuits, as micro processors, which realize a function after some times of state transitions occurred. In such circuits, it is more important to abstract the function than to extract each state transition. We have progressed our system to extract such behaviors.
ER -