Re: FW: [sv-ec] Streaming operator and Mantis 1707

From: Greg Jaxon <Greg.Jaxon_at_.....>
Date: Tue Mar 11 2008 - 13:25:18 PDT
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