ZElkacimi

hello @silabs-robin I got your idea, the first version of the agent did not include many assertions but coming versions will. Moreover, I would be interested on your PR about...

Hello all, Note: a new PR for the agent is available here: [https://github.com/openhwgroup/core-v-verif/pull/1229] I tried your macro but currently I don't have access to a formal tool so I couldn't...

Hello, Thank you all for your remarks. You find below an update of the DVplan taking into consideration the comments of @silabs-robin (Note: all your comments still in the file)...

Hello @MikeOpenHWGroup I don't have the opportunity to compile/run with another simulator, but since it's in lib/ directory then I suppose that it works with another simulator. I have created...