Hello everybody,

I'm a freshman in Assertion based verification,I already read some books related to
this field.

I want to start writing assertions for verifying AMBER 2core using System verilog.

If there is someone who worked on RISC verification using the ABV methodology before please give me some leading information.

If is there any project related to this field also let me know as reference.

Thx alot