SYSTEM VERILOG FAQ

LET'S CREATE GREAT THINGS TOGETHER:

We've received a fine selection of FAQs regarding Formal Verification and System Verilog Assertion.

As an expert you might have all answers handy to copy / paste? With your help, and your answers, we'll create an eBook, listing all contributing authors - such as yourself. We will produce the ebook after editing and offer for download at no charge.
With that we hope to provide a thorough first point of orientation for Formal Verification rookies and assist in spreading use-cases, best practice and technology adoption.

Answer as many questions as you like to and hit that submit button! Thank you very much for your help!

Any questions? Send us an email to: team@formalworld.org

Don't like to fill in forms? No Problem - just copy the following questions, paste them into your favorite editor and answer as you like. Then simply upload your document here or send an email to team@formalworld.org

If you've got some more time to invest - please check out our FAQs on Formal Verification.

QUESTIONS:

Which are the most important things to be considered while writing assertions?
What are the types of assertions? Explain them.
What is the difference between Concurrent and Immediate assertions?
What is false negative?
What is false positive?
What are the functionalities of $rose, $fell and $stable ? Give an examples.
Explain the four different layers of concurrent assertions.
What is the difference between goto repetition and non-consecutive repetition? Give an example.
How do you know that you have over constrained the design?
What happens if the design is over-constrained?
How do you know that you have under constrained the design?
What happens if the design is under-constrained?

ANSWERS:

Name *

First

Last

Email *

1. Which are the most important things to be considered while writing assertions? *

2. What are the types of assertions? Explain them. *

3. What is the difference between Concurrent and Immediate assertions? *

4. What is false negative? *

5. What is false positive? *

6. What are the functionalities of $rose, $fell and $stable ? Give an example. *

7. Explain the four different layers of concurrent assertions. *

8. What is the difference between goto repetition and non-consecutive repetition? Give an example. *

9. How do you know that you have over constrained the design? *

10. What happens if the design is over-constrained? *

11. How do you know that you have under constrained the design? *

12. What happens if the design is under-constrained? *

Submit