
ctx.addClock("clk48m", 48)
ctx.addClock("vid_pixelclk", 30)
ctx.addClock("clkint", 25)
ctx.addClock("hdmi_encoder.clk_125MHz", 140)


ctx.addClock("clk48m", 48)
ctx.addClock("vid_pixelclk", 30)
ctx.addClock("clkint", 25)
ctx.addClock("hdmi_encoder.clk_125MHz", 140)
