BODEAN, Diana; BODEAN, Ghenadie; GHINCUL, Olga
(Technical University of Moldova, 2009)
This paper presents the tools for automation the synthesis of constrained-random generator for verification the synthesizable designs of microprocessors and microcontrollers. The structure of constrained-random generator ...