Referenced Items are not available for this document.
A system is described for automatic test-pattern generation (ATPG) using symbolic representations and heuristics to attack the test problem at RT level, where redesigns to increase the testability are relatively cheap. In contrast to other ATPG tools based on RT-level hardware descriptions, KARATE includes tests for primitive operators and allows the modification and redefinition of fault models. KARATE has been implemented in Pascal on a VAX 11/750. The search algorithm, provisional libraries, and test program generators have been actually implemented and the heuristics included are tested. The final version of the library handler and a special pattern editor, which allows the comfortable specification of patterns, are under development
Published in:
Test Conference, 1988. Proceedings. New Frontiers in Testing, International
Date of Conference: 12-14 Sep 1988
- Page(s):
- 230 - 235
- Meeting Date :
- 12 Sep 1988-14 Sep 1988
- ISSN :
- 1089-3539
- Print ISBN:
- 0-8186-0870-6
- INSPEC Accession Number:
- 3317173
- Conference Location :
- Washington, DC
- Digital Object Identifier :
- 10.1109/TEST.1988.207807
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
