通用简约验证测试集U（p，w）矩阵的广义构造公式

GENERALIZED CONSTRUCTION FORMULAE OF UNIVERSAL REDUCED VERIFICATION TEST SET MATRIX U(p,w)

本文是在文献［１］的基础上进行的研究．通过将文献［１］的三条定理推广到多进制情况以及对多进制ｐ中取ｉ矢量矩阵生成关系图的研究，提出了Ｕ（ｐ，ｗ）矩阵的广义构造公式．利用本文公式可直接生成多值逻辑电路在进行伪穷举测试时需要的通用简约验证测试集．

Generalized construction formulae of U(p,w)matrix are put forward by generalizing three previous theorems to nonbinary cases,and studying generating relation-graph of i-out-of-p vector matrices.Using the formulae universal reduced verification test sets,which are need in pseudoexhaustive test of multivalue logic circuits, can be directly generated.