vme_core merge requestshttps://gitlab.au.dk/rimfaxe/vme_core/-/merge_requests2019-10-30T15:14:35+01:00https://gitlab.au.dk/rimfaxe/vme_core/-/merge_requests/2Formal verification of VME arbiter2019-10-30T15:14:35+01:00Michael Greve MunchFormal verification of VME arbiterI'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.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.Håkan JohanssonHåkan Johansson