Subject: Re: [sv-ac] constraint example
From: Koushik Roy (koushik@cadence.com)
Date: Mon Nov 03 2003 - 08:45:36 PST
Surrendra,
As an illustration of the concept, this example is OK.
However, for the purpose of defining the language, I think a more
general approach would be necessary.
I think we should discuss this more...
Thanks,
At Thursday 10/30/2003, you wrote:
>Please find attached an example that shows the equivalent coding of a
>sequential constraint using properties and using purely combinational
>constraints. Please note that this example is not meant to be a complete
>testbench, or try to address issues/difficulties related to the topic of
>constraint random simulation. Rather, it shows
>1) properties as constraints can ease coding
>2) how to leverage on features already developed for assertions
>3) these enhancements retain and use the flexibility of combinational
>constraints feature in testbench, such as manually choosing randomization
>points and turning constraints on and off.
>
>Surrendra
>
>
>
>**********************************************
>Surrendra A. Dudani
>Synopsys, Inc.
>377 Simarano Drive, Suite 300
>Marlboro, MA 01752
>
>Tel: 508-263-8072
>Fax: 508-263-8123
>email: Surrendra.Dudani@synopsys.com
>**********************************************
>
This archive was generated by hypermail 2b28 : Mon Nov 03 2003 - 08:46:14 PST