Università di Pisa
Sistema bibliotecario di ateneo

Testability of SPP Three-Level Logic Networks in Static Fault Models

Ciriani, Valentina and Bernasconi, Anna and Drechsler, Rolf (2005) Testability of SPP Three-Level Logic Networks in Static Fault Models. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] PDF (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (236Kb)


    Recently introduced, three-level logic Sum of Pseudoproducts (SPP) forms allow the representation of Boolean functions with much shorter expressions than standard two-level Sum of Products (SOP) forms, or other three-level logic forms. In this paper the testability of circuits derived from SPPs is analyzed. We study testability under static Fault Models (FMs),i.e., the Stuck-At Fault Model (SAFM) and the Cellular Fault Model(CFM). For SPP networks several minimal forms can be considered. While full testability can be proved in the SAFM for some forms, SPP networks in the CFM are shown to contain redundancies. Finally, we propose a method for transforming non-testable networks into testable ones. Experimental results are given to demonstrate the efficiency of the approach.

    Item Type: Book
    Uncontrolled Keywords: Reliability and Testing, Testability, Design for Testability, SPP Three-Level Network.
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 09 Dec 2014 12:43
    Last Modified: 09 Dec 2014 12:43
    URI: http://eprints.adm.unipi.it/id/eprint/2147

    Repository staff only actions

    View Item