MQA automates a lot of the hand check stuff, but I was not super impressed. They had a booth at DAC this year.
Here are a list of common model problems:
http://www.effectiveelectrons.com/foundrymodels.htmlRead the list down under the foundry model audit stuff.
That is a list I developed from one pass at a single CMOS (it was 0.13 ) foundry.
IBM, Jazz, TI, National, ST Micro get their models right, :) the rest of the world can be debated. :-/
Lots of issues as you can see.
Jerry