Home > Community > Forums > Functional Verification > verifying clock divider

## Email

Recipients email * (separate multiple addresses with commas)

Message *

 Send yourself a copy

## Subscribe

Intro copy of the newsletter section here, some intro copy of the newsletter. Instruction of how to subscribe to this newsletter.

First Name *

Last Name *

Email *

Company / Institution *

 Send Yourself A Copy

# verifying clock divider

Last post Wed, Apr 25 2007 12:04 PM by archive. 2 replies.
 Started by archive 25 Apr 2007 12:04 PM. Topic has 2 replies and 1317 views
• #### Wed, Apr 25 2007 12:04 PM

• archive
• Joined on Fri, Jul 4 2008
• Posts 88
• Points 4,890
verifying clock divider
 Hello,How do you verify your clock divider logic, generally? Would you recommend assertions to verify clock dividers? Would this be a good candidate for formal verification?Any info will be appreciated.Regards,AmirOriginally posted in cdnusers.org by Sibil
• Post Points: 0
• #### Wed, Apr 25 2007 7:41 PM

• archive
• Joined on Fri, Jul 4 2008
• Posts 88
• Points 4,890
RE: verifying clock divider
 Hi Amir:I have used IFV with a clock divider logic before. It works out quite well for me. I remember what we have done with that module was to check based on certain control signals, output clock should be divided down accordingly. The assertions are like given the control, for how many rising edge of the input clock, you are expecting a rising edge of the divided down clock. For us, all assertions got proven within minutes. However in general, the performance depends on how big your divider logic is.Regards,Bin Originally posted in cdnusers.org by binju
• Post Points: 0
• #### Fri, Jul 6 2007 8:05 AM

• archive
• Joined on Fri, Jul 4 2008
• Posts 88
• Points 4,890
RE: verifying clock divider
 Hi,I have written a simple formal verification IP for clock divider. I'm attaching it to this email. It might help somebody.Regards,Amir Originally posted in cdnusers.org by Sibil clock_divider.v.txt
• Post Points: 0
###### Sort Posts: Oldest to newest Newest to oldest
 Started by archive at 25 Apr 2007 12:04 PM. Topic has 2 replies.