This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
John W. O'Leary
A grouping.
John W. O'Leary, Intel: industrial formal verification - IEEE floating-point compliance (1999), Xs for trajectory evaluation vs Booleans for theorem proving, and algorithms modelled in SystemC and ACL2.
3 references
Modeling Algorithms in SystemC and ACL2
John W. O'Leary and others (2014) · Proceedings of the 12th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2014)
Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving
Mark D. Aagaard and others (1999) · Correct Hardware Design and Verification Methods (CHARME '99) · Springer-Verlag
Formally Verifying IEEE Compliance of Floating-Point Hardware
John W. O'Leary and others (1999) · Intel Technology Journal