[petra]

On the other hand it's a repeating problem. We've being doing processor verification for a long time.

Why can't we reuse that knowledge, that code ?