New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
XDC plugin doesn't understand port indexes properly #13
Comments
See @whitequark's twitter for how Vivado solves this problem. |
https://twitter.com/whitequark/status/1256506061462409218?s=20
|
|
You can override the [unknown] command to achieve this result. |
Thanks, that's interesting and definitely worth a shot. |
It's a TCL thing. When a port is retrieved using eg.
[get_ports A[10]]
the TCL parser treats the port index in square brackets as another TCL command and fails there. This prevents us from using stock XDC files. A workaround for that is to specify the port like[get_ports {A[10]}]
.A fix may be doing some kind of pre-processing of XDCs prior to feeding them to the Yosys' TCL interpreter.
The text was updated successfully, but these errors were encountered: