Community
cancel
Showing results for 
Search instead for 
Did you mean: 
Highlighted
Valued Contributor III
714 Views

SV Assertions

Hi,  

 

I am new to SV Assertions. 

 

I wanted to know if I can check a simple clock/3-divider using assertions. 

 

All I need to check is if a "Divider_enable" i/p is high, the output clock should be i/p Clock divided by 3. 

 

Is it possible to check this using assertions? 

 

Thanks in advance 

SV Baby
0 Kudos