Figure 1 From Modeling Verilog Designs Using A Valuebased Model