On Tue, 2009-01-13 at 14:01 +0100, [email protected] wrote: > Quoting Sylvere Teissier <[email protected]>: > > Futhermore, if Lattice is a synthesis tool it can check the output > > vector length of the "+" operation because a synthesis tool use > > techniques like function expansion, loop unrolling and constant > > propagation that permit to have more information and more checking. > > Theses techniques are only applicable on a subset a VHDL (for example > > synthetizable code). > > A simulator is more generalist and check result at run-time after "+" > > function call. (well known "bound check failed") > > Yes, that's correct. > > Ian, did you expect an error during analysis or at run time ? > > Tristan. Hi Tristan, I did not run at that stage only. Retesting the original I get;- ghdl -a xxx.vhd --okay and generated xxx.o ghdl -e yyy --okay generated the e~yyy.o plus yyy executable I do not have a testbench just for that part so I'll try running to see what it does there are still lots of bugs in my code but this is what it gives.
ghdl -r yyy ../../../src/ieee/numeric_std-body.v93:1613:7:@0ms:(assertion warning): NUMERIC_STD."=": metavalue detected, returning FALSE ../../../src/ieee/numeric_std-body.v93:1613:7:@0ms:(assertion warning): NUMERIC_STD."=": metavalue detected, returning FALSE ../../../src/ieee/numeric_std-body.v93:1613:7:@0ms:(assertion warning): NUMERIC_STD."=": metavalue detected, returning FALSE ../../../src/ieee/numeric_std-body.v93:1613:7:@0ms:(assertion warning): NUMERIC_STD."=": metavalue detected, returning FALSE ../../../src/ieee/numeric_std-body.v93:1613:7:@0ms:(assertion warning): NUMERIC_STD."=": metavalue detected, returning FALSE ../../../src/ieee/numeric_std-body.v93:1613:7:@0ms:(assertion warning): NUMERIC_STD."=": metavalue detected, returning FALSE ../../../src/ieee/numeric_std-body.v93:1613:7:@0ms:(assertion warning): NUMERIC_STD."=": metavalue detected, returning FALSE _______________________________________________ Ghdl-discuss mailing list [email protected] https://mail.gna.org/listinfo/ghdl-discuss
