A test sequence is called

-universal if it exercises every function depending on t or fewer inputs on a very large scale integration (VLSI) chip with

inputs. Randomized and deterministic procedures are deseribed for the design of

-universal sequences and for the signature analysis of the test outputs.