Run time internal error: contact synopsys vcs customer support:
(1212; newconstraint.c)
---stack trace follows:
[Thread debugging using libthread_db enabled]
0xffffe425 in _kernel_vsyscall ()
#0 0xf5f366a1 in dumpStackTrace () from /tools/vcs2010.06/linux/lib/libvcsnew.so
#1 0xf6214fa3 in AssFail () from /tools/vcs2010.06/linux/lib/libvcsnew.so
#2 0xf6482e3c in VCSle_07957daaeecaf254339835920264a4e740554dd63cbfe9fd506fa3afe3ff68e5 () /tools/vcs2010.06/linux/lib/libvcsnew.so
#3 0xf647e342 in SfogRandomize () /tools/vcs2010.06/linux/lib/libvcsnew.so
#4 0x083e0d4a in F_VCSgd_top_1_10_0 ()
#5 0x083e4d98 in T_VCSgd_top_1_33_0 ()
#6 0xf63fabce in VCSle_63c7abb936d47b070a381e1e7ec5406 () from /tools/vcs2010.06/linux/lib/libvcsnew.so
#7 0xf6420519 in VCS_MAIN () from /tools/vcs2010.06/linux/lib/libvcsnew.so
#8 0x08084fd9 in main ()