• DocumentCode
    1135044
  • Title

    Optimal Test Generation in Combinational Networks by Pseudo-Boolean Programming

  • Author

    Papaioannou, Spiros G.

  • Author_Institution
    College of Engineering, Boston University
  • Issue
    6
  • fYear
    1977
  • fDate
    6/1/1977 12:00:00 AM
  • Firstpage
    553
  • Lastpage
    560
  • Abstract
    The problem of generating tests for the detection or location of permanent logical faults in combinational networks is formulated as a finite sequence of maximization problems in which the maximizing vertices are the desired tests. The formulation is based on the concept of real transform of a Boolean function, while maximization is achieved by pseudo-Boolean PB programming.
  • Keywords
    Boolean difference, combinational networks, fault detection, fault location, pseudo-Boolean programming.; Boolean functions; Computational efficiency; Fault detection; Fault location; Functional programming; Intelligent networks; Logic programming; Logic testing; Sequential analysis; System testing; Boolean difference, combinational networks, fault detection, fault location, pseudo-Boolean programming.;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/TC.1977.1674880
  • Filename
    1674880
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1135044