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

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

Testing functional faults in VLSI

Published: 01 January 1982 Publication History

Abstract

Functional testing has become increasingly important due to the advent of VLSI technology. This paper presents a systematic procedure for generating tests for detecting functional faults in digital systems described by the register transfer language. Procedures for testing register decoding, instruction decoding, data transfer, data storage and data manipulation function faults in microprocessors are described step-by-step. Examples are given to illustrate the procedures.

References

[1]
S.Y.H. Su and Y.I. Hsieh; "Testing Functional Faults in Digital Systems Described by Register Transfer Language," Digest of papers, 1981 Test Conference, pp. 447-457. Revised version published in Journal of Digital Systems, June 1982.
[2]
S.M. Thatte and J.A. Abraham, "Test Generation for Microprocessors," IEEE Transactions on Computers, pp. 429-441, June 1980.
[3]
J.A. Abraham and S.M. Thatte, "Fault Coverage of Test Programs for a Microprocessor," Digest of Papers, 1979 Test Conference, pp. 18-22.
[4]
S.Y.H. Su, "A Survey of Computer Hardware Description Languages in the U.S.A.," Computer, Dec. 1974, pp. 45-51.
[5]
Intel 8080 Microprocessor Systems User's Manual, Intel Corporation, Santa Clara, California, September 1975.
[6]
S.M. Thatte and J.A. Abraham, "A Methodology for Functional Level Testing of Microprocessors," Digest of Papers FTCS-8, 1978, pp. 90-95.
[7]
M. Karpovsky and S.Y.H. Su, "Detecting Bridging and Stuck-at Faults at Input and Output Pins of Standard Digital Components," Proceedings of 17th Design Automation Conference, pp. 494-505, June 1980.
[8]
M. Karpovsky and S.Y.H. Su, "Detection and Location of Input and Feedback Bridging Faults Among Input and Output Lines," IEEE Transactions on Computers, pp. 523-527, June 1980.

Cited By

View all
  • (1998)Native mode functional test generation for processors with applications to self test and design validationProceedings of the 1998 IEEE International Test Conference10.5555/648020.745609(990-999)Online publication date: 18-Oct-1998
  • (1994)Algorithms for behavioral test pattern generation from VHDL circuit descriptions containing loop language constructsProceedings of the conference on European design automation10.5555/198174.198344(638-643)Online publication date: 23-Sep-1994
  • (1994)Speeding up test pattern generation from behavioral VHDL descriptions containing several processesProceedings of the conference on European design automation10.5555/198174.198343(632-637)Online publication date: 23-Sep-1994
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
DAC '82: Proceedings of the 19th Design Automation Conference
January 1982
919 pages

Publisher

IEEE Press

Publication History

Published: 01 January 1982

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)40
  • Downloads (Last 6 weeks)5
Reflects downloads up to 19 Nov 2024

Other Metrics

Citations

Cited By

View all
  • (1998)Native mode functional test generation for processors with applications to self test and design validationProceedings of the 1998 IEEE International Test Conference10.5555/648020.745609(990-999)Online publication date: 18-Oct-1998
  • (1994)Algorithms for behavioral test pattern generation from VHDL circuit descriptions containing loop language constructsProceedings of the conference on European design automation10.5555/198174.198344(638-643)Online publication date: 23-Sep-1994
  • (1994)Speeding up test pattern generation from behavioral VHDL descriptions containing several processesProceedings of the conference on European design automation10.5555/198174.198343(632-637)Online publication date: 23-Sep-1994
  • (1993)Speed up of behavioral A.T.P.G. using a heuristic criterionProceedings of the 30th international Design Automation Conference10.1145/157485.164587(92-96)Online publication date: 1-Jul-1993
  • (1988)Analysis of experimental results on functional testing and diagnosis of complex circuitsProceedings of the 1988 international conference on Test: new frontiers in testing10.5555/1896122.1896134(64-72)Online publication date: 12-Sep-1988
  • (1988)A Functional Testing Method for MicroprocessorsIEEE Transactions on Computers10.1109/12.599237:10(1288-1293)Online publication date: 1-Oct-1988
  • (1984)Functional testing techniques for digital LSI/VLSI systemsProceedings of the 21st Design Automation Conference10.5555/800033.800848(517-528)Online publication date: 25-Jun-1984
  • (1984)IDASProceedings of the July 9-12, 1984, national computer conference and exposition10.1145/1499310.1499329(143-150)Online publication date: 9-Jul-1984

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media