wlsd and cvp do not play nice together


Bugzilla Link	501
Created on	Jun 02, 2009 12:38
Resolution	FIXED
Resolved on	Sep 03, 2009 11:30
Version	1.00beta
OS	Linux
Architecture	PC
Attachments	tutu.rw3, tutu.cvp, loop10.sac

Extended Description

wlsd reuses variable names in different parts of a with3 tree then cvp uses the first instants.
ac = 0
bc = 1
av = ac
av = bc
av
which cvp changes to:
0 ( av -> ac -> 0) first use
and not:
1 ( av -> bc -> 1) second use

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information