I’m working on a project. I need to verify a clock management unit. This unit’s function includes different clock source switch, clock divide, clock on/off control.
I’m new on SVA.
I want to know a solution with SVA:
Thanks.
For 1:
assume “en_clk” is clock enable.
PASS: en_clk=1,clock toggle.
or en_clk=0,clock stop.
Fail: en_clk=1,clock stop.
en_clk=0,clock toggle.
For 2:
assume “cksel[1:0]” is select signal to choose which clock is system clock
PASS: cksel[1:0]=2’b00, sys_clk=clk1
cksel[1:0]=2’b01, sys_clk=clk2
cksel[1:0]=2’b10, sys_clk=clk3
cksel[1:0]=2’b11, sys_clk=clk4
FAIL: not operate as above.
For 3:
assume “div[1:0]” is clock divide scale.
PASS: div[1:0]=2’b00, sys_clk_div=sys_clk
div[1:0]=2’b01, sys_clk_div=sys_clk/2
div[1:0]=2’b10, sys_clk_div=sys_clk/4
div[1:0]=2’b11, sys_clk_div=sys_clk/8
FAIL: not as above
My issue is how to present above check with SVA.