Speeding AMS verification by easing simulation debug and analysis ...