Abstract
Several functional delay fault models have been proposed before to allow functional test generation for delay faults. In this work, we extend these models to accommodate functional descriptions where inputs and outputs are more naturally represented by vectors carrying non-binary values. Such vectors are typical of high-level functional descriptions. Experimental results show that using the vector-based models does not result in loss of gate-level path delay fault coverage.