Symbolic generation of constrained random logic cells. - Raffaele Costa; Francesco Curatelli; Daniele D. Caviglia; Giacomo M. Bisio (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991)