FUNTASSI: A functional test generation assistant

A tool for generating stimuli for functional verification from a register transfer level description with a `path activation´ technique is described. A novel test generation tool for checking functional behaviors at the register transfer level is presented. Experiments have shown that stimuli generated for functional verification at the register transfer level are acceptable for practical designs. The stimuli generated by FUNTASSI can be used for functional tests at logic level design. A new design approach for checking circuit models also been addressed. That is, if FUNTASSI can generate stimuli for desired behavior under some constraints, then the design is correct