Ambit BuildGates Synthesis User Guide

Report Generation

Finite State Machine Reports

The report for finite state machine (FSM) is generated using the following command:

report_fsm [-vector vector_name] [-state_table] [-encoding] [-hierarchical] [{> | >>} filename]

where:

■vector_name is the state vector name. If not specified, all FSMs in the current module

are reported

■filename is the name of the generated report file. If omitted, the report is displayed on the standard output.

The -state_table option extracts a state transition table in a report form. The -encoding option reports all state assignments for each selected FSM.

The -hierarchical option reports all FSMs in any module in the downward path of current module.

If none of the above options are specified, a summary report with the following information is printed:

■Design (module) name, state vector name, file name and line number it was found in RTL model

■Number of states in this FSM, initial state, equivalent states, unreachable states, terminal states, preserved states, and number of transitions (arcs)

■Number and name of inputs to this FSM, unused inputs and hold signal

■Number and name of outputs from this FSM

■Clock signal and edge (rising or falling) that controls transitions in this FSM

■Encoding used, encoding size, whether any unreachable states were removed or any states were merged

Ambit BuildGates Synthesis User Guide

Report Generation

Sample FSM Report

Below is a sample FSM report generated from the following command.

report_fsm > BG4.0_fsm_rep.rpt