A Synthesis Method for Verilog Case Statement Using Mux-and-Inverter Graph | IEEE Conference Publication | IEEE Xplore