( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A SAT-based procedure for verifying finite state machines in ACL2.

, и . ACL2, стр. 127-135. ACM, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Patrick Hunt

Foued Jrad

Daniel Warren

Warren Chan

Bruce Hunt

 

Другие публикации лиц с тем же именем

Verifying the FM9801 microarchitecture., и . IEEE Micro, 19 (3): 47-55 (1999)Results of the Verification of a Complex Pipelined Machine Model., и . CHARME, том 1703 из Lecture Notes in Computer Science, стр. 313-316. Springer, (1999)The Verification of a Bit-slice ALU., и . Hardware Specification, Verification and Synthesis, том 408 из Lecture Notes in Computer Science, стр. 282-306. Springer, (1989)Processor Verification with Precise Exeptions and Speculative Execution., и . CAV, том 1427 из Lecture Notes in Computer Science, стр. 135-146. Springer, (1998)A SAT-based procedure for verifying finite state machines in ACL2., и . ACL2, стр. 127-135. ACM, (2006)Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability., и . Formal Methods Syst. Des., 20 (2): 187-222 (2002)Toward Verified Execution Environments., , и . S&P, стр. 106-115. IEEE Computer Society, (1987)Automatic insertion of low power annotations in RTL for pipelined microprocessors., , и . DATE, стр. 496-501. European Design and Automation Association, Leuven, Belgium, (2006)Trimming while checking clausal proofs., , и . FMCAD, стр. 181-188. IEEE, (2013)A Mechanically Verified AIG-to-BDD Conversion Algorithm., и . ITP, том 6172 из Lecture Notes in Computer Science, стр. 435-449. Springer, (2010)