|This paper describes a technique to handle temporal signal correlations during estimation of average power in sequential circuits. A key feature of the approach is that it provides an eecient and accurate way to estimate average power using a Monte Carlo based method. Results on a large number of benchmark sequential circuits connrm that the technique runs eeciently (up to two orders of magnit...

We revisit the long-neglected problem of sequential circuit constructions from regular expressions. The class of languages that are recognized by sequential circuits is equivalent to the class of regular languages. This fact is shown in [5] together with an inductive construction technique from regular expressions. In this note, we present an alternative algorithm, called the trigger-set approa...

A previous hierarchical fault tracing method for combinational circuits which requires only CAD layout data in the CAD-linked electron beam test system is expanded as applicable to sequential circuits. The characteristics in the method remains unchanged that allows us to trace a fault hierarchically from the top level cell to the lowest primitive cell and from the primitive cell to the transist...

This paper presents a new method for designing asynchronous sequential circuits. The inspiration for this method is derived from the traditional synchronous design method. We introduce a new component which is used as a building block for sequential parts of asynchronous circuits. This new component is similar to the old Flip-Flop but it has the ability to handle signal edges asynchronously. Th...

We address the problem of verifying a retimed circuit. After retiming, some latches in a sequential circuit are repositioned to reduce the clock cycle time and thus the behavior of the combinational portion is changed, Here, we present a novel approach to check the correctness of a retimed circuit according to the dejinition of 3-valued equivalence. This approach is based on our verijication fr...

The design of programmable logic architectures and supporting computer-aided design tools fundamentally requires both a good understanding of the combinatorial nature of netlist graphs and sufficient quantities of realistic examples to evaluate or benchmark the results. In this paper, the authors investigate these two issues. They introduce an abstract model for describing sequential circuits a...

Clocks distribution networks (CDN’s) play a vital role in synchronous circuits. The clock distribution network distributes the clock signal to the all sequential elements in the synchronous system. There is several designs are proposed to design efficient clock distribution networks. Very much concentration has been given to the characteristics of the clock signals and electrical networks used ...

VLSI (Very Large Scale Integration) circuits are basic components of today’s complex digital systems. In order to realize dependable digital systems, VLSI circuits should be highly reliable. VLSI testing plays an important role in satisfying this requirement. VLSI testing is to check whether faults exist in a circuit, and it consists of two main phases: test generation and test application. In ...

In this paper, we address the problem of verifying the equivalence of two sequential circuits. A hybrid approach that combines the advantages of BDD-based and ATPG-based approaches is introduced. Furthermore, we incorporate a technique called partial justification to explore the sequential similarity between the two circuits under verification to speed up the verification process. Compared with...

Development of large computerized systems requires both combinational and sequential circuits. Registers and counters are two important examples of sequential circuits, which are widely used in practical applications like CPUs. The basic element of sequential logic is Flip-Flop, which stores an input value and returns two outputs (Q and Q ). This paper presents an innovative ternary D Flip-Flap...