Elimination of multi-cycle false paths by state encoding

In this paper we present a technique to remove multi-cycle false paths from a sequential circuit by the encoding of its states. Based on behavioral level analysis, we derive the necessary and sufficient condition for the encoding of FSM to obtain a false path free implementation. This condition requ...

Full description

Saved in:
Bibliographic Details
Main Authors: Hasan, Z., Ciesielski, M.J.
Format: Conference Proceeding
Language:English
Subjects:
Circuit testing
Clocks
Combinational circuits
Delay
Encoding
Equations
Logic circuits
Performance analysis
Sequential circuits
Sufficient conditions
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper we present a technique to remove multi-cycle false paths from a sequential circuit by the encoding of its states. Based on behavioral level analysis, we derive the necessary and sufficient condition for the encoding of FSM to obtain a false path free implementation. This condition requires the satisfaction of false path dichotomies obtained from symbolic output and next state equations of the machine. The presented approach can significantly impact the multi-cycle false path removal techniques, traditionally applied to gate-level circuits.< >
DOI:10.1109/EDTC.1995.470404