Formalizing and Enhancing Verilog *

by Jennifer Gillenwater , Gregory Malecha , Cherif Salama , Angela Yun Zhu , Walid Taha , Jim Grundy