On Switching Aware Synthesis for Combinational Circuits.

Jan Láník,Oded Maler

Haifa Verification Conference(2015)

引用 23|浏览7
暂无评分
摘要
We propose a synthesis algorithm for combinational circuits which optimizes the expected number of gate switchings induced by typical sequences of input vectors. Our algorithm, which is based on simple observations concerning AND gates, performs quite well on sequences produced by the same probabilistic models used to generate the training sequences.
更多
查看译文
关键词
Input Training Sequence, Reducing Switching, Probabilistic Automata, Arbitrary Markov Chain, And-Inverter Graphs (AIG)
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要