I'm struggling a bit learning how to use VossII and am not sure where best to get help.
I thought perhaps a good approach was to try to create simple examples and then to ask for help when I get stuck. That way I can potentially get a bit of help, and VossII gets some examples that are targeted towards digital designers who are fairly new to formal verification.
In this example I'm trying to create a simple buffer for valid/ready handshaking and want to prove a few properties about it. I've defined a circuit, but I'm not sure how to even start verifying properties about it.
Probably what I need is for someone to point me at a similar example that I can learn from, or to the right place in the documentation to look.
I'm struggling a bit learning how to use VossII and am not sure where best to get help. I thought perhaps a good approach was to try to create simple examples and then to ask for help when I get stuck. That way I can potentially get a bit of help, and VossII gets some examples that are targeted towards digital designers who are fairly new to formal verification.
In this example I'm trying to create a simple buffer for valid/ready handshaking and want to prove a few properties about it. I've defined a circuit, but I'm not sure how to even start verifying properties about it.
Probably what I need is for someone to point me at a similar example that I can learn from, or to the right place in the documentation to look.