Verification Engineerの戯言 9月18日(金)に日記C-to-Verilogで紹介したC-to-Verilogの元の技術は、System Racerというものです。 イスラエルのHaifi大学の技術です。 C-to-VerilogのWebのContactのペインをクリックすると、 Nadav Rotemさんにアクセスする…