Ben: I did not enter it because it is an enhancement. I am collecting a list of enhancements to propose at the next round. J.H. > X-Authentication-Warning: server.eda.org: majordom set sender to owner-sv-ac@eda.org using -f > Date: Wed, 30 Mar 2005 15:27:30 -0500 > From: vhdlcohen@aol.com > X-MB-Message-Source: WebUI > X-MB-Message-Type: User > X-AOL-IP: 205.188.212.235 > X-Virus-Status: Clean > X-Virus-Status: Clean > Sender: owner-sv-ac@eda.org > > Did the initialization of property and sequence local vairable ever > make into the spec? > e.g., > property P; > int i=0; > int j; > a |=> (!b, i +=1)[*0:255] ##1 c && addr[0:7]=i; > endproperty : P > > Ben > > -------------------------------------------------------------------------- > Ben Cohen Trainer, Consultant, Publisher (310) 721-4830 > http://www.vhdlcohen.com/ ben_ f rom _abv-sva.org > * Co-Author: SystemVerilog Assertions Handbook, 2005 ISBN 0-9705394-7-9 > * Co-Author: Using PSL/SUGAR for Formal and Dynamic Verification 2nd > Edition, 2004, ISBN 0-9705394-6-0 > * Real Chip Design and Verification Using Verilog and VHDL, 2002 isbn > 0-9705394-2-8 > * Component Design by Example ", 2001 isbn 0-9705394-0-1 > * VHDL Coding Styles and Methodologies, 2nd Edition, 1999 isbn > 0-7923-8474-1 > * VHDL Answers to Frequently Asked Questions, 2nd Edition, isbn > 0-7923-8115 > --------------------------------------------------------------------------------- > > -Received on Wed Mar 30 14:19:19 2005
This archive was generated by hypermail 2.1.8 : Wed Mar 30 2005 - 14:19:27 PST