Skip to content

Formal verification of VME arbiter

Michael Greve Munch requested to merge formal into arbiter

I've added formal verification of the VME arbiter.

Among other things it check that we do not have two active clients,
and signals are routed and latched as they should.

Merge request reports

Loading