David Chisnall (*Now with 50% more sarcasm!*)'s Post

@gsuberland @timb_machine

We have some collaborations that have involved formal verification of the core, but there's more to be done on things the formal bits don't cover and there are other non-core things that need DV both at a component and an integration level. We're mostly interested in functional correctness for the DV. It's not really my area, so I'm a bit unsure (I do architecture and software, microarchitecture and back end is the other David's responsibility).