Forum Discussion

BillP_'s avatar
BillP_
Icon for New Contributor rankNew Contributor
1 year ago

How 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 do...
Hdl
BillP_'s avatar
BillP_
Icon for New Contributor rankNew Contributor
1 year ago

Yes, I can see it. I understand how to use the GUI.

I want to use TCL and a post synthesis script to check that all state machines are one-hot.

Ie, I want a script to be able to access "Encoding type"

I want an answer without 'click'. Is that possible?