The tool has three sub-modules - analyzer, constraint solver and test generator. Analyzer analyzes the designs in terms of finding all branches and classifying all branches and lines as - Unreachable, Probably constant, Unsatisfiable, Covered, Unsolvable etc. Constraint solver algorithm sets initial values to conditions (i.e. case, if-else) and test generator generates various test stimuli based on the constraint solver’s output and provides maximum coverage of design.
|
Editorial
Upcoming Events
DAC 2012 at San Francisco CA - Jun 3 - 7, 2012
|
|
|
