These files are BINARY since they are Cadence proprietary.

If you would like to donate hardware to the cause, your OS can be supported.