[sv-ac] 1731 description updated - "Sampled value functions with arbitrary clocks"

Hi all,

 

I updated 1731 proposal (attached here for convenience). The updated
version also contains fixes in the formal semantics of extended
booleans. Main points:

* Functions $stable, $changed, $rose and $fell are now defined as
derived from $past

* The clock is now an argument in the sampled value function formal
definition, instead of being part of the context

* $past formal definition contains now enabling expression

* cosmetic change in matched definition

 

It is not quite clear to me how the function $stable should be defined
(the same question about $changed). I wrote the following definition:

 

$stable(e, c) <==> $past(e,1,1,c) === e

 

Wouldn't it be better to define it as: $past(e,1,1,c) == e? The LRM is
not clear about this.

 

Thanks,

Dmitry


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.