[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/285730.285753acmconferencesArticle/Chapter ViewAbstractPublication PagesdacConference Proceedingsconference-collections
Article
Free access

On path selection in combinational logic circuits

Published: 01 June 1988 Publication History

Abstract

In order to ascertain correct operation of digital logic circuits it is necessary to verify correct functional operation as well as correct operation at desired clock rates. To ascertain correct operation at desired clock rates signal propagation delays along a set of selected paths are verified to fall within allowed limits by applying appropriate stimuli. Earlier it was suggested that an appropriate set of paths to test would be the one that includes at least one path, with maximum modeled delay, for each circuit lead or gate input. In this paper, algorithms to select such sets of paths with minimum cardinality are given.

References

[1]
G.L Smith, "Model for Delay F~ults B~,sed Upon P~ths," Proc. 1985 Int'l. Test Cnf., Nov. 198.5, pp. 342-349.
[2]
Y.K. Malaiyu and R. N~rayanaswamy, "Testing for Timing Faults in Synchronous Sequent, iul Integrated Circuit~," Froc. 1988 Int'l. Test C, or(f. Oct. 1983, pp. 560- 571.
[3]
K.D. Wagner, "Delay Testing of Digital Circuit.s Using Pseudorundom Input, Sequences," Center for Reliable Computing Report 85-12, revised March 1986. Stamford University.
[4]
J. Savir and W.H. Mcanney, "Random Pa.ttern Testabilit, y of Dela, y Faults," Proc. i980 lnt'l. Tc~'t C@, Sept,. 1986, pp. 263-273.
[5]
C.J. Lin and S.M. Reddy, "On Dela.v Fa.ul! Testing in Logic Circuits," IEEE Trans. C.4D. Sept. 1987, pp. 694- 703
[6]
F. Brglez amd H. Fujiwara, "Neutral Net.list of Ten Combinational Benchma.rk Circuits and a Target Transla.tor in FORTRAN," Proc. IEEE Int. Syrup. Circttils 8; Systems. June 1985
[7]
E. L~wler, Combinatorial Oplimiz, tion: Networks and Matroids. Holt, Rinehaort, and \Viust.on. 1.976
[8]
R.B. Hitchcock, St., "Timing \%rifi~-~tt.ion and t.lle Timing Analysis Program," Proc. A6'M IEEE 19th De.~ign Automation Conf., June 1982, pp. 594-604.
[9]
V.D. Agrawal, "Synchronous Pa.th Analysis ill lk~{OS (!ircuit Simulator," Proc. ACA'I IEEE I9lh De~i9~ At~tomttion Co.n.f, June 1982, pp. 629-635.
[10]
H.K. A1-Hussein, "Path-Del;ty Coml)utation Algorithms for VLSI Systems," VLSI Design, Fet)ruarv 1985. pp. 86-91.
[11]
S. Patoil, "An Automatic Test Pat, tern Genera for for Delay Faults in Logic Circuits," ~1.,5". Thesis. Dep,rtmerit of Electrical and Computer Engineering. (;niversity o.f Iowa. May 1987.
[12]
H.T. Liu and C.R. Kime. "A Dela.y Test Generation System for Combinational logic," Tech Report. Dept. o.f Elec. ~ Comp. En.g, University of IVisconsin.Madison. August 1987.
[13]
R.B. Hitchcoek, G.L. Smith ~n(1 D.D. Cheng, "Timing Analysis of Computer Hardware," IBM J. Research ~z Development, vol. 26, No. 1, Ja.n. 1982, pp. 100-108.
[14]
S.M. Reddy, C.J. Liu, and S. Patil. " An Autolnatic Test, Pattern Generator for the Detection of Path Delay Faults," Proc. int. Conf. on Computer Aided Design, November 1987, .pp 284-287
[15]
E.J. MeCluskey, Logic Design Principles, Prentine-Ha|l, 1986.
[16]
W.N. Li, S.M. Reddy, end S. Sahni, "On Path Selection In Combinational Logic Circuits," TR 87-50 Compttter Science Department, University of l~Iin.ne,~ota, Oct.ober 1087.

Cited By

View all
  • (1997)A Novel Solution for Chip-Level Functional Timing VerificationProceedings of the 15th IEEE VLSI Test Symposium10.5555/832297.836396Online publication date: 27-Apr-1997
  • (1997)Hierarchical Delay Test GenerationJournal of Electronic Testing: Theory and Applications10.1023/A:100826760883810:3(231-244)Online publication date: 1-Jun-1997
  • (1991)TASProceedings of the conference on European design automation10.5555/951513.951570(261-265)Online publication date: 25-Feb-1991

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
DAC '88: Proceedings of the 25th ACM/IEEE Design Automation Conference
June 1988
730 pages
ISBN:0818688645

Sponsors

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 June 1988

Check for updates

Author Tags

  1. combinational circuits
  2. testing

Qualifiers

  • Article

Conference

DAC88
Sponsor:
DAC88: Design Automation Conference
June 12 - 15, 1988
New Jersey, Atlantic City, USA

Acceptance Rates

DAC '88 Paper Acceptance Rate 125 of 400 submissions, 31%;
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)44
  • Downloads (Last 6 weeks)4
Reflects downloads up to 12 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (1997)A Novel Solution for Chip-Level Functional Timing VerificationProceedings of the 15th IEEE VLSI Test Symposium10.5555/832297.836396Online publication date: 27-Apr-1997
  • (1997)Hierarchical Delay Test GenerationJournal of Electronic Testing: Theory and Applications10.1023/A:100826760883810:3(231-244)Online publication date: 1-Jun-1997
  • (1991)TASProceedings of the conference on European design automation10.5555/951513.951570(261-265)Online publication date: 25-Feb-1991

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