Testability preserving transformations in multi-level logic synthesis

  title={Testability preserving transformations in multi-level logic synthesis},
  author={Janusz Rajski and Jagadeesh Vasudevamurthy},
We present a new, highly efficient concurrent method for decomposition and factorization. The method employs objects which are either double-cube divisors or single-cube divisors having exactly two literals considered concurrently with their complements. We demonstrate that these objects, despite their simplicity. provide a very good framework t o reason about common algebraic divisors and the duality relations between expressions. The synthesis is based on testability preserving… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 19 extracted citations


Publications referenced by this paper.
Showing 1-10 of 10 references

Optimal logic synthesis and testability : Two faces of the same coin ”

R. DevadasS..TonyMaH..NewtonA.
ITC • 1988

MIS: A Multiple-Level Logic Optimization System

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems • 1987

The Boulder optimal logic design system

Bostick D.. Hachtel G.D
ICCAD • 1987

The decomposition and factorization of Boolean expression ”

” BraytonR.K..McMullenC..
ISCAS • 1982

A method of fault simulation method based on stem regions ”

J MaamariF..Rajski
IEEE Transactions on CAD

A method to calculate necessary assignments in algorithmic test pattern generation ” , in this Proceedings

” RajskiJ..CoxH..

Library specific optimization of multi level combinational logic ”

” BartlettK.A..HachtelG.D..

“ Synthesis of fully testable multi - level circuits ” . Fourth technical workshop in new directions for IC testing

Rajski J.. Vasudevamurthy J..

Similar Papers

Loading similar papers…