Cosim verification seed and randomization dependency.

lowRISC / ibex

Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.

https://www.lowrisc.org

Apache License 2.0

1.34k stars 523 forks source link

Cosim verification seed and randomization dependency. #2125

Closed omarbesta closed 8 months ago

omarbesta commented 8 months ago

Is the Cosim verification heavily dependent on the randomization and the seed? I get failures sometimes and I have to change the seed for some tests to pass.

My Environment

EDA tool and version: Questasim 2023.1

Operating system: Linux-64 CentOS 7.9

Version of the Ibex source code: df88055aa38868451ce90d7fcc2bbf172a2dc8a0

rswarbrick commented 8 months ago

Hi there.

Well, the seed controls several things including the contents of the randomised binary that gets run. If things are failing with a given seed, it's probably worth investigating (probably by opening an issue with details of the seed and what happens).