Subject: [sv-ac] constraint example
From: Surrendra Dudani (Surrendra.Dudani@synopsys.com)
Date: Thu Oct 30 2003 - 07:04:51 PST
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 : Thu Oct 30 2003 - 07:07:37 PST