Today's thread kicked off another thought in my mind.
Following some prodding by the NH Assistant Secretary of State, I've
started roughing out some architecture ideas for an open-design vote
counting machine. One of the principles I propose for it is a CPU design
supported by a formal proof of correctness. It turns out that there's an
established academic discipline in formal proof of hardware design, with one
RISC CPU already proven correct, and considerable work done on commercial
chip designs. CMU and the University of Texas are active in hardware logic
proofs, among other places.
So that got me thinking. OGP is headed in the direction of a fully
open, published graphics architecture and an open hardware implementation.
If it's open, it could be put through a formal proof of correctness, and the
proof could be published. That would make the design a strong candidate for
use in safety-critical embedded products. With embedded hardware being part
of Traversal's intended market, this would be a natural extension.
Of course, I'm _not_ suggesting that anything should be done about
this now. The project has to stay on course and implement the decisions
already made, if it's to get anywhere. But this might be something to look
into down the road, maybe when setting goals for OGA2 or OGA3.
_______________________________________________
Open-graphics mailing list
[email protected]
http://lists.duskglow.com/mailman/listinfo/open-graphics
List service provided by Duskglow Consulting, LLC (www.duskglow.com)
