A new look at test generation and verification

Authors:
Predrag G. Kovijanic
Affiliations:
-
Venue:
DAC '77 Proceedings of the 14th Design Automation Conference
Year:
1977

Citing 6
Cited 2

The Design and Analysis of Computer Algorithms

The Design and Analysis of Computer Algorithms
The concurrent simulation of nearly identical digital networks

DAC '73 Proceedings of the 10th Design Automation Workshop
Integrated techniques for functional and gate-level digital logic simulation

DAC '73 Proceedings of the 10th Design Automation Workshop
TEGAS2—anatomy of a general purpose TEST GENERATION AND SIMULATION system for digital logic

DAC '72 Proceedings of the 9th Design Automation Workshop
Programming languages for non-numeric processing—2: Time sequenced logical simulation based on circuit delay and selective tracing of active network paths

ACM '65 Proceedings of the 1965 20th national conference
Automated testing and reliability and availability of digital systems.

Automated testing and reliability and availability of digital systems.

Design for Testability A Survey

IEEE Transactions on Computers
LSI logic testing: an overview

IEEE Transactions on Computers

Quantified Score

Hi-index	0.01

Visualization

Abstract

The feasibility and major computational problem areas in test generation and verification are investigated. Alternate ways of higher level testing and state based modeling are envisioned.