Verification Engineerの戯言
パーティにようこそ!とありますが、
Cベース言語を入力とするCadenceのC-to-Silicon、MentorのCatapult-C、ForteのCynthesizerに対して、
SynopsysのSynphonyはMATLABのM言語が入力言語。たぶん、想定ユーザが違う。
SynopsysのSynphonyはMATLABのM言語が入力言語。たぶん、想定ユーザが違う。
来年のDACまでにどのようになっているかが気になるところです。
検証、Verification、HLS