Thanks, Shalom I'm not on SV-EC. Only the big endian parts of your testcase are supported in DCSV Here is the output it could produce: > $display output: --------------------------- > > $display output: just_right = {>>{a,b,c}} : > $display output: -- > $display output: {a,b,c} = 'h123456789abc > $display output: just_right = 'h123456789abc > > $display output: too_big = {>>{a,b,c}} : > $display output: -- > $display output: {a,b,c} = 'h123456789abc > $display output: too_big = 'h0123456789abc > > $display output: --------------------------- > > $display output: {>>{a,b,c}} = just_right : > $display output: -- > $display output: just_right = 'h123456789abc > $display output: {a,b,c} = 'h123456789abc > > $display output: {>>{a,b,c}} = too_big : > $display output: -- > $display output: too_big = 'h123456789abcd > $display output: {a,b,c} = 'h23456789abcd > > $display output: --------------------------- Greg Bresticker, Shalom wrote: > Greg, FYI, I don't know whether you are on SV-EC list. > > Regards, > Shalom > > -----Original Message----- > From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On > Behalf Of Jonathan Bromley > Sent: Tuesday, March 11, 2008 6:54 PM > To: sv-ec@server.eda.org > Subject: [sv-ec] Streaming operator and Mantis 1707 > > Shalom has pointed out that Mantis 1707 conflicts with one of the > examples in the existing LRM text that would be unaffected by it. I > thought it was just an editorial fix, but it ain't. I tried the > attached testcase in those simulators I can use that know how to do > {<<{}}. > None of the implementations matches what I would expect from 1707 and my > own intuition. However, the implementations are in almost total > disagreement about the answer, so I'm not the only one who is lost. > > Can folks please try out this example, and look critically at the > results of the operations where a stream is [un]packed to/from a vector > that's wider than the stream? Left-to-right packing > > too_big = {>>{a,b,c}}; > > gives the results I expect in each implementation I tested. All other > operations where the vector is bigger than the stream give conflicting > results. > It would be nice to reach a consensus before I try to fix the examples > (and, possibly, fix 1707 too). > Implementations are sufficiently divergent now that we lose nothing by > defining the behaviour we want, rather than a behaviour that maintains > backward compatibility. > > Thanks > -- > Jonathan Bromley > > > -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Mar 11 13:32:22 2008
This archive was generated by hypermail 2.1.8 : Tue Mar 11 2008 - 13:33:08 PDT