Verification Engineerの戯言 いつのプレゼンテーションかはわかりませんが、 AutoESLの元になったUCLAの技術のプレゼンテーションビデオ Platform-Based Electronic System-Level(ESL Synthesis) by Prof. Jason Congを見つけました。 1:17:55で、2008.6.6…