New ContributorHow to get state machine encoding type from TCL ::report or where?
I have enumerated reports and find them in the report panel. For a particular state machine, it says 'Encoding Type: One-Hot'. When I use get_report_panel_row, it has all the table states, but I don't know what the API is to get the 'Encoding Type'? It seems like it is report meta-data of some sort?
set panel_names [get_report_panel_names]
foreach panel_name $panel_names {
## Do match state machine.
if {[string match "Analysis & Synthesis||State Machines||State Machine - |*|state" $panel_name]} {
set num_rows [get_number_of_rows -name $panel_name]
for { set i 0 } { $i < $num_rows } { incr i } {
set row_data [get_report_panel_row -name $panel_name -row $i]
post_message [join $row_data ","]
}
}
}
I really want to test the 'Encoding Type' of the state machine to verify "One-hot".
The code above dumps the state machine transitions.
