ISCUG 2013のVirtual prototyping, from evolution to revolution, Kevin Smart, Director R&D, System-Level Solutions, Synopsysを見ていたら、Fast Timed Modelというものが出てきました。
買収したVaSTの技術を使ったモノのようです。SynopsysnoTLM Library for ARM IPのページにも
引用 Fast-Timed Models of Cortex Processors Synopsys' unique and proven technology for developing fast-timed models of ARM processors provides engineers access to models that are orders of magnitude faster than those derived from RTL and are available earlier in the design cycle. Synopsys-developed fast-timed models include the timing accuracy needed for full system performance optimization while supporting execution speeds suitable for complex software applications, including those that run on multicore platforms.とあります。
昔、VaSTの代理店をやっていた某社の社長に何故VaSTのシミュレーション速度が速いのかを教えてもらいました。それを使っているかどうかはわかりませんが、技術は取り込まれているのですね。
検証、Verification、Synopsys