On Wed, May 17, 2006 at 04:45:05AM +1200, josephhenryblack wrote:
> The draft of Newsletter 7 has been posted to the wiki.
>
> http://wiki.duskglow.com/tiki-index.php?page=OGPN7
Clarification:
I didn't mean that OGP or OGA has anything to do with a vote
counting machine. I meant that what I found out about formal proofs of
correctness while researching design principles for the vote counting
machine could also be applied to OGA-based products. That could increase
their value to certain markets. If an OGA ASIC can be shown by formal proof
to be correct in its implementation, that would increase its chances of
being used in safety-critical products, for example operator control
consoles in steam power plants.
Traversal is aiming at embedded systems as an important cash earner,
and safety-critical products are an important subset of embedded systems.
_______________________________________________
Open-graphics mailing list
[email protected]
http://lists.duskglow.com/mailman/listinfo/open-graphics
List service provided by Duskglow Consulting, LLC (www.duskglow.com)
