Verification Engineerの戯言 今年のDACでも話題になったHLS。 今までプロダクトの情報が公開してなかったAutoESL。 そのAutoESLのプロダクトAutoPilotのデータシートが公開されました。 データシートの中の AutoPilot has an extensive list of features no…