Todd Simpson

Learn More
[17] J S. Moore. Mechanically veried hardware implementing an 8-bit parallel io byzantine agreement processor.mal system design-interactive synthesis based on computer-assisted formal reasoning. [10] M.J.C. Gordon. Why higher-order logic is a good formalism for specifying and verifying hardware. A Formal HDL and its use in the FM9001 Verication Technical(More)
(NRRI) with funding provided by participating member commissions of the National Association of Regulatory Utility Commissioners (NARUC). The views and opinions of the author do not necessarily state or reflect the views, opinions, or policies of the NRRI, NARUC, or NARUC member commissions. The Safe Drinking Water Act Amendments of 1996 made fundamental(More)
(NRRI) with funding provided by participating member commissions of the National Association of Regulatory Utility Commissioners (NARUC). The views and opinions of the authors do not necessarily state or reflect the views, opinions, or policies of the NRRI, NARUC, or NARUC member commissions. Nor do they state or reflect favor of any particular product,(More)
  • 1