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.
収録刊行物
-
- Proceedings of IEEE Custom Integrated Circuits Conference - CICC '93
-
Proceedings of IEEE Custom Integrated Circuits Conference - CICC '93 26.3.1-26.3.4, 2002-12-30
IEEE