RISC-V ISA Formal Verification files for SiemensEDA OneSpin tool.

[pascalgouedo]

No description provided.

[MikeOpenHWGroup]

Thanks @pascalgouedo. One request and one question:
Request: can you add Solderpad license headers to these files (the one-liner SPDX header is sufficient)?
Question: is the obfuscated TcL file readable by tools other than OneSpin?

[pascalgouedo]

Hi Mike,

I am pretty sure this encrypted tcl file is using a OneSpin private key like it is done for automatically generated assertions SystemVerilog file.
And anyway I think nothing here can be used in any other tool.

For Solderpad license I should maybe ask (again) to SiemensEDA to be sure.

Only restrictions I remember was about FormalVerifPlan excel file, not on those tool setup files.

[MikeOpenHWGroup]

For Solderpad license I should maybe ask (again) to SiemensEDA to be sure.

Thanks. This is important to OpenHW for obvious reasons.