Symbolic generation of constrained random logic cells | IEEE Journals & Magazine | IEEE Xplore