07 2017/08 09
303101 02030405
06070809101112
13141516171819
20 212223242526
27 282930310102
Click セミナー

過去のセミナー

開催日2016年5月17日(火曜日)
開催時間16時30分-17時30分
発表者Mathias Soeken 
発表者の紹介Swiss Federal Institute of Technology in Lausanne (EPFL)
タイトルAncilla-free reversible logic synthesis using symbolic methods
 
発表の概要
Due to the properties of reversibility, reversible circuit synthesis that is optimum in the number of lines is a difficult task. For an irreversible Boolean function it is coNP-hard to find an optimum embedding, i.e., a reversible function with the minimum number of additional lines. Synthesis algorithms exist that obtain from an optimum embedding ancilla-free reversible circuits which have as many circuit lines as variables in the reversible function. However, so far all implementations for such synthesis algorithms require exponential time and space since they operate on the truth table representation of the function. In the talk, alternative implementations of the algorithms based on decision diagrams and Boolean satisfiability are presented that allow to run the algorithm in less space and time for some functions. It is shown that high quality synthesis results for large circuits can be obtained using these implementations.
開催場所VBL棟 301B
接続サイト神田ラボ