Efficiency of Multi-Valued Encoding in SAT-based ATPG

Authors:
Goerschwin Fey;Junhao Shi;Rolf Drechsler
Affiliations:
University of Bremen, Germany;University of Bremen, Germany;University of Bremen, Germany
Venue:
ISMVL '06 Proceedings of the 36th International Symposium on Multiple-Valued Logic
Year:
2006

Citing 0
Cited 2

Automatic test pattern generation

SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
SAT-based generation of compressed skewed-load tests for transition delay faults

Microprocessors & Microsystems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an asynchronous encoding scheme using a MVL(Multi-Value Logic). This scheme reduces not only the number of wires but also the switching activities. It is achieved by the two proposed data encoding methods, RT/NRT(Return to Ternary/ ...