Harri Lensen

• M.Sc
• Tallinn University of Technology

A novel hierarchical approach based on decision diagrams (DD) to modelling digital systems is introduced. Two new contributions are proposed: a new classof structurally synthesized binary DDs for modelling structural aspects of digital circuits, and DDs for high-level modelling of systems. Combination of both types of graphs allows to implement uni...

This paper presents an optimized fault diagnosing procedure applicable in Built-in Self-Test environments. Instead of the known approach based on a simple bisection of patterns in pseudorandom test sequences, we propose a novel bisection procedure where the diagnostic weight of test patterns is taken into account. Another novelty is the sequential...

To cope with the complexity of today's digital systems in diagnostic modelling, hierarchical approaches should be used. In this paper, the possibilities of using Decision Diagrams (DD) for diagnostic modelling of digital systems are discussed. DDs can be used for modelling systems at different levels of representation like logic level, register tra...

In this work we present a method of Finite State Machine (FSM) decomposition where shift registers are used as memory of FSM network components. Every component of the network is realized on a separate shift register. This approach improves the testability of the FSM network. State splitting method is described for the minimization of the number of...

In this work we present a Checking Sequence design method for Finite State Machines (FSM). Microprogram Automation (MPA) model is used to describe source FSM. Testability of MPA is improved by introducing additional binary inputs or outputs. This modification enhances indirect observability of MPA States and allows to compose universal Checking Seq...

In this paper we present a new checking sequence design method for finite state machines (FSMs). Microprogram automaton model is used to describe source FSM. The proposed method enables to compose a universal checking sequence which will be independent of FSM implementation. The fault classification for microprogram automaton (MPA) model is introdu...

Decomposition of digital systems is essential to many computer-aided design applications. Here we should emphasize the fact that the machine decomposition is the organic part of synthesis process. A large hardware behavioral description is decomposed into several smaller ones. One goal is to make the synthesis problem more tractable by providing sm...

With increasing sizes of designs and the need f or low power applications, power is another optimization constraint that has become critical in addition to timing and area f or electronic circuits. The work presented in this paper exploits a f undamental and important source of power reduction - shutting down useless parts of a sequential circuit....