Gate Level Modeling 1 | part of Design Through Verilog HDL | Wiley-IEEE Press books | IEEE Xplore