Ready should pull low only when set abort is correct buffer.
Re-wrote previous assertions to PSL.
Add assertion that Lock should never occur after abort. It can
in the same cycle though (cover is written for that)