FSM toolboxCategory : Debug and AnalysisActive-HDL provides features that help users to debug their bubble diagrams, including object sorter, diagram report, trace over transition, current state highlight, etc. In today’s design flow, creating a diagram of the state machine is only half of the work: debugging issues that may hide in it is equally important.