首页> 外文OA文献 >A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures

【2h】

A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures

机译：基于自动演绎和决策程序的位级流水线机器验证框架

页面导航

著录项
相似文献
相关主题

著录项

作者
Panagiotis Manolios; Sudarshan K. Srinivasan;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures [J] . Panagiotis Manolios, Sudarshan K. Srinivasan Journal of Automated Reasoning . 2006 ,第1a2期

机译：基于自动演绎和决策程序的位级流水线机器验证框架
2. A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification [J] . Manolios P., Srinivasan S. K. IEEE transactions on very large scale integration (VLSI) systems . 2008 ,第4期

机译：基于精炼的流水线机器验证组成推理框架
3. An automated procedure for workpiece quality monitoring based on machine drive-based signals in machine tools [J] . Christoph J.H. Bauerdick, Mark Helfert, Lars Petruschke, Procedia CIRP . 2018 ,第3aPartaA期

机译：基于机床中基于机械驱动的信号的工件质量监控自动化程序
4. Verification of Executable Pipelined Machines with Bit-Level Interfaces [C] . Panagiotis Manolios, Sudarshan K. Srinivasan IEEE/ACM International Conference on Computer-Aided Design . 2005

机译：验证具有比特级接口的可执行流水线机
5. Efficient verification of bit-level pipelined machines using refinement. [D] . Srinivasan, Sudarshan Kumar. 2007

机译：使用优化对位级流水线机器进行有效验证。
6. Correction: An Automated, Adaptive Framework for Optimizing Preprocessing Pipelines in Task-Based Functional MRI [O] . Nathan W. Churchill, Robyn Spring, Babak Afshin-Pour, 2010

机译：校正：一种自动化的自适应框架，用于优化基于任务的功能MRI中的预处理管道
7. Verification of executable pipelined machines with bit-level interfaces [O] . Panagiotis Manolios 2005

机译：使用位级接口验证可执行流水线机器
8. Formally-Verified Decision Procedure for Univariate Polynomial Computation Based on Sturm's Theorem. [R] . Narkawicz, A. J., Munoz, C. A. 2014

机译：基于sturm定理的单变量多项式计算的形式验证决策程序。

A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures

著录项

相似文献

相关主题

期刊订阅