首页> 外文OA文献 >A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits

【2h】

A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits

机译：直觉证明的时间精化及其在组合电路定时分析中的应用

页面导航

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

著录项

作者
Michael Mendler;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic [J] . MICHAEL MENDLER Formal Methods in System Design . 2000,第1期

机译：直觉命题逻辑中组合电路的时序分析
2. Timing-Driven Power Optimisation and Power-Driven Timing Optimisation of Combinational Circuits [J] . Rashmi Mehrotra, Tom English, Michel Schellekens, Journal of Low Power Electronics . 2011,第3期

机译：组合电路的时序驱动功率优化和功率驱动时序优化
3. Symbolic timing analysis and resynthesis for low power of combinational circuits containing false paths [J] . Bahar R.I., Hyunwoo Cho IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 1997,第10期

机译：包含虚假路径的低功耗组合电路的符号时序分析和重新合成
4. A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits [C] . Michael Mendler Workshop on Theorem Proving with Analytic Tableaux and Related Methods . 1996

机译：直观证明的时序细化及其在组合电路时序分析中的应用
5. Precise timing of digital signals: Circuits and applications. [D] . Nummer, Muhammad A. 2007

机译：数字信号的精确定时：电路和应用。
6. Refinement and Pattern Formation in Neural Circuits by the Interaction of Traveling Waves with Spike-Timing Dependent Plasticity [O] . James E. M. Bennett, Wyeth Bair 2015

机译：行波与时标相关塑性作用下的神经回路细化和模式形成
7. On Timing Analysis of Combinational Circuits [O] . Ramzi Ben Salah, Marius Bozga, Oded Maler 2003

机译：关于组合电路的时序分析
8. Linear sawtooth voltage-wave generator employing transistor timing circuit having capacitor-zener diode combination feedback Patent [R] . Green, E. D., Woolfson, M. G. 1967

机译：线性锯齿波电压发生器采用晶体管定时电路，具有电容 - 齐纳二极管组合反馈专利

A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits

著录项

引文网络

相似文献

相关主题

期刊订阅