FUNTASSI: A functional test generation assistant

DOI

Description

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.

Journal

Details 詳細情報について

Report a problem

Back to top