首页> 外文OA文献 >On the Effectiveness of Theorem Proving Guided Discovery of Formal Assertions for a Register Allocator in a High-Level Synthesis System

【2h】

On the Effectiveness of Theorem Proving Guided Discovery of Formal Assertions for a Register Allocator in a High-Level Synthesis System

机译：定理证明的有效性在高级综合系统中对寄存器分配器的形式断言的指导发现

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Naren Narasimhan; Ranga Vemuri;
展开▼
作者单位

展开▼
年度 100
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler For High-Level Synthesis [J] . NAREN NARASIMHAN, ELENA TEICA, RAJESH RADHAKRISHNAN Formal Methods in System Design . 2001,第3期

机译：定理证明在资源受限的调度程序中正式断言的高级综合开发
2. Formal Verification of C Systems Code Structured Types, Separation Logic and Theorem Proving [J] . Harvey Tuch Journal of Automated Reasoning . 2009,第2a4期

机译：C系统代码结构类型的正式验证，分离逻辑和定理证明
3. Validating Assertion Language Rewrite Rules and Semantics With Automated Theorem Provers [J] . Morin-Allory K., Boule M., Borrione D., Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on . 2010,第9期

机译：使用自动定理证明器验证断言语言重写规则和语义
4. Theorem proving guided development of formal assertions in a resource-constrained scheduler for high-level synthesis [C] . Narasimhan, N., Teica, . 1998

机译：定理证明了在资源受限的调度程序中用于高级综合的形式断言的指导开发
5. Theorem-proving guided development of formal assertions and their embedding in a high-level VLSI synthesis system. [D] . Narendra, Narasimhan. 1998

机译：证明定理的方法指导形式断言的开发以及将其嵌入高级VLSI综合系统中。
6. Formal reasoning about systems biology using theorem proving [O] . Adnan Rashid, Osman Hasan, Umair Siddique, 2011

机译：使用定理证明关于系统生物学的形式推理
7. Two Formal Systems for Proving Assertions About Programs (プログラムの基礎理論) [O] . IGARASHI SHIGERU 1973

机译：用于证明程序断言的两个正式系统
8. Explicit Reflection in Theorem Proving and Formal Verification [R] . Artemov, S. N. 1998

机译：定理证明与形式验证的显性反思

On the Effectiveness of Theorem Proving Guided Discovery of Formal Assertions for a Register Allocator in a High-Level Synthesis System

著录项

引文网络

相似文献

相关主题

期刊订阅