Informatica logo


Login Register

  1. Home
  2. Issues
  3. Volume 14, Issue 2 (2003)
  4. Identifying Legal and Illegal States in ...

Informatica

Information Submit your article For Referees Help ATTENTION!
  • Article info
  • More
    Article info

Identifying Legal and Illegal States in Synchronous Sequential Circuits Using Test Generation
Volume 14, Issue 2 (2003), pp. 135–154
Eduardas Bareiša   Kęstutis Motiejūnas   Rimantas Šeinauskas  

Authors

 
Placeholder
https://doi.org/10.15388/Informatica.2003.010
Pub. online: 1 January 2003      Type: Research Article     

Received
1 March 2003
Published
1 January 2003

Abstract

Identifying legal and illegal states significantly reduces computational complexity of ATPG. A unified framework for identification of the legal and illegal states is presented. Most known methods for identification of the legal and illegal states are interpretable within this framework. New theorems and the resulting procedures for identifying exact collection of legal or illegal states of a circuit are presented. Experimental results demonstrate that exact collection of legal states for some circuits is significantly smaller than collections obtained by backward state search algorithm and by algorithm based on combinational ATPG theorems. The use of the exact collection of legal states allows identifying more undetectable faults. The proposed procedure for identifying of the exact collection of legal states starts from any state of the circuit, builds initially an enlarged collection of legal states and converges rapidly to the exact solution.

PDF XML
PDF XML

Copyright
No copyright data available.

Keywords
sequential circuits legal and illegal states detectability of faults

Metrics
since January 2020
698

Article info
views

0

Full article
views

490

PDF
downloads

181

XML
downloads

Export citation

Copy and paste formatted citation
Placeholder

Download citation in file


Share


RSS

INFORMATICA

  • Online ISSN: 1822-8844
  • Print ISSN: 0868-4952
  • Copyright © 2023 Vilnius University

About

  • About journal

For contributors

  • OA Policy
  • Submit your article
  • Instructions for Referees
    •  

    •  

Contact us

  • Institute of Data Science and Digital Technologies
  • Vilnius University

    Akademijos St. 4

    08412 Vilnius, Lithuania

    Phone: (+370 5) 2109 338

    E-mail: informatica@mii.vu.lt

    https://informatica.vu.lt/journal/INFORMATICA
Powered by PubliMill  •  Privacy policy