Towards an Algebraic Synthesis of Verilog (2001)

by J Iyoda, J He
Venue:in the Proc of ERSA’2001, Las Vegas