Browse by author
Lookup NU author(s): Deepali Koppad, Dr Alex Bystrov, Professor Alex Yakovlev
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
A new technique to test asynchronous circuits obtained by direct mapping technique from 1-safe Petri nets is proposed. Low-level physical faults in the cells implementing Petri net places are analysed and mapped into high-level specification, a Petri net. A "pseudo clock" is used to handle hazards and activate faults which exhibit themselves only under particular arrangements. Asynchronous citcuit obtained by Direct mapping technique can be made 100% testable for stuck-at-faults by implementing testability features. An algorithm to insert testability features and generate test sequences is presented using a benchmark. © 2005 IEEE.
Author(s): Koppad D, Bystrov A, Yakovlev A
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Proceedings of the IEEE International Conference on VLSI Design
Year of Conference: 2005
Pages: 730-735
ISSN: 9780769522647
Publisher: IEEE Computer Society
URL: http://dx.doi.org/10.1109/ICVD.2005.126
DOI: 10.1109/ICVD.2005.126
Library holdings: Search Newcastle University Library for this item
ISBN: 0769522645