{Spam?} Re: [vhdl-200x] Modular types, alternative solutions

Hello,

> I have added two additional proposed implementations to the modular
> types proposal.
> 
> The first proposes using records to implement modular types.  This
> can be done today.  The big limitation is that there is no way to
> convey to the synthesis tool that the modulus that goes with the
> type is a static value, hence, it will likely result in some extra
> hardware.

I think there are other limitations (I added comments to the Wiki
entry).

> The second proposes adding discriminants (another concept borrowed
> from ADA).   I am actually surprised that ADA did not do modular
> types this way as this provides a general feature that we can use
> for other things, such as saturating types.

Your discriminant proposal doesn't allow large modular types, and
doesn't provide strong typing :-(

> P.S.
> I have the whole package for modular types with records if you are
> interested in playing with it, let me know.  Once I test it, I plan
> on putting it on my website.

Yes, I am interested in seeing the implementation.  I really have some
doubts about it :-)

Tristan.

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