def visit_EventStatement(self, node): sensitivity = self.visit(node.sens_list) event = vtypes.Event(*sensitivity) return event
def next_clock(clk): return (vtypes.Event(vtypes.Posedge(clk)), vtypes.Delay(1))