Nothing Special   »   [go: up one dir, main page]

skip to main content
10.5555/800032.800642acmconferencesArticle/Chapter ViewAbstractPublication PagesdacConference Proceedingsconference-collections
Article
Free access

Test generation for MOS circuits using D-algorithm

Published: 27 June 1983 Publication History

Abstract

An application of the D-algorithm in generating tests for MOS circuit faults is described. The MOS circuits considered are combinational and acyclic but may contain transmission gates and buses. Tests are generated for both, the stuck type faults and the transistor faults (open and short). A logic model is derived for the MOS circuits. In addition to the conventional logic gates, a new type of modeling block is used to represent the “memory” state caused by the “open” transistors. Every fault, whether a stuck type fault or a transistor fault, is represented in the model as a stuck fault at a certain gate input. For generating tests, however, the D-algorithm needs modification. The singular cover and the D-cubes for the new gate include some memory states. To handle the memory state, an initialization procedure has been added to the consistency part of the D-algorithm. The procedure of modeling and test generation is finally extended to transmission gates and buses.

References

[1]
Y. M. El-ziq and R. J. Cloutier, "Functional-Level Test Generation for Stuck-Open Faults in CMOS VLSI," IEEE International Test Conference, Philadelphia, PA, October 27-29, 1981, Digest of Papers, pp. 536-546.
[2]
K. W. Chiang and Z. G. Vranesic, "Test Generation for MOS Complex Gate Networks," 12th International Symposium on Fault-Tolerant Computing, Santa Monica, CA, June 22-24, 1982, Digest of Papers, pp. 149-157.
[3]
Y. H. Levendel and P. R. Menon, private communication.
[4]
J. P. Roth, W. G. Bouricius, and P. R. Schneider, "Programmed Algorithms to Compute Tests to Detect and Distinguish Between Failures in Logic Circuits," IEEE Transactions on Electronic Computers, Vol. EC-16, October 1967, pp. 547-580.
[5]
A. K. Bose, P. Kozak, C-Y Lo, H. N. Nham, E. Pacas-Skewes, and K. Wu, "A Fault Simulator for MOS LSI Circuits," Proceedings of 19th Design Automation Conference, Las Vegas, Nevada, June 14-16, 1982, pp. 400-409.
[6]
Y. H. Levendel, P. R. Menon and C. E. Miller, "Accurate Logic Simulation Models for TTL Totempole and MOS Gates and Tristate Devices," Bell System Technical Journal, Vol. 60, September 1981, pp. 1271-1287.

Cited By

View all
  • (2018)On the Generation of Waveform-Accurate Hazard and Charge-Sharing Aware Tests for Transistor Stuck-Off Faults in CMOS Logic CircuitsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2017.277282537:10(2152-2165)Online publication date: 1-Oct-2018
  • (2017)Fast and waveform-accurate hazard-aware SAT-based TSOF ATPGProceedings of the Conference on Design, Automation & Test in Europe10.5555/3130379.3130478(422-427)Online publication date: 27-Mar-2017
  • (1998)Test Generation and Fault Simulation for Cell Fault Model using Stuck-at Fault Model based Test ToolsJournal of Electronic Testing: Theory and Applications10.1023/A:100838992080613:3(315-319)Online publication date: 1-Dec-1998
  • Show More Cited By

Index Terms

  1. Test generation for MOS circuits using D-algorithm

          Recommendations

          Comments

          Please enable JavaScript to view thecomments powered by Disqus.

          Information & Contributors

          Information

          Published In

          cover image ACM Conferences
          DAC '83: Proceedings of the 20th Design Automation Conference
          June 1983
          700 pages

          Sponsors

          Publisher

          IEEE Press

          Publication History

          Published: 27 June 1983

          Check for updates

          Qualifiers

          • Article

          Acceptance Rates

          Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

          Upcoming Conference

          DAC '25
          62nd ACM/IEEE Design Automation Conference
          June 22 - 26, 2025
          San Francisco , CA , USA

          Contributors

          Other Metrics

          Bibliometrics & Citations

          Bibliometrics

          Article Metrics

          • Downloads (Last 12 months)30
          • Downloads (Last 6 weeks)8
          Reflects downloads up to 26 Sep 2024

          Other Metrics

          Citations

          Cited By

          View all
          • (2018)On the Generation of Waveform-Accurate Hazard and Charge-Sharing Aware Tests for Transistor Stuck-Off Faults in CMOS Logic CircuitsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2017.277282537:10(2152-2165)Online publication date: 1-Oct-2018
          • (2017)Fast and waveform-accurate hazard-aware SAT-based TSOF ATPGProceedings of the Conference on Design, Automation & Test in Europe10.5555/3130379.3130478(422-427)Online publication date: 27-Mar-2017
          • (1998)Test Generation and Fault Simulation for Cell Fault Model using Stuck-at Fault Model based Test ToolsJournal of Electronic Testing: Theory and Applications10.1023/A:100838992080613:3(315-319)Online publication date: 1-Dec-1998
          • (1997)Open Defects in CMOS RAM Address DecodersIEEE Design & Test10.1109/54.58773814:2(26-33)Online publication date: 1-Apr-1997
          • (1996)Test and Testability Techniques for Open Defects in RAM Address DecodersProceedings of the 1996 European conference on Design and Test10.5555/787259.787560Online publication date: 11-Mar-1996
          • (1993)Fault Detection in CVS Parity Trees with Application to Strongly Self-Checking Parity and Two-Rail CheckersIEEE Transactions on Computers10.1109/12.20479142:2(179-189)Online publication date: 1-Feb-1993
          • (1991)SOPRANOProceedings of the 27th ACM/IEEE Design Automation Conference10.1145/123186.123432(660-666)Online publication date: 3-Jan-1991
          • (1990)Fault modelling and fault equivalence in CMOS technologyProceedings of the conference on European design automation10.5555/949970.950062(407-412)Online publication date: 12-Mar-1990
          • (1990)Robust tests for stuck-open faults and design for testability of reconvergent fan-out CMOS logic networksProceedings of the conference on European design automation10.5555/949970.950048(344-349)Online publication date: 12-Mar-1990
          • (1989)A new approach to derive robust sets for stuck-open faults in CMOS combinational logic circuitsProceedings of the 26th ACM/IEEE Design Automation Conference10.1145/74382.74514(726-729)Online publication date: 1-Jun-1989
          • Show More Cited By

          View Options

          View options

          PDF

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader

          Get Access

          Login options

          Media

          Figures

          Other

          Tables

          Share

          Share

          Share this Publication link

          Share on social media