Area-Time Efficient Evaluation of Elementary Functions

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• YAJIMA Shuzo

  Faculty of Information Science, Kyoto University

• Yajima Shuzo

  Faculty Of Engineering Kyoto University

• Okabe Yasuo

  Faculty Of Engineering Kyoto University

関連論文

• Computational Power of Nondeterministic Ordered Binary Decision Diagrams and Their Subclasses (Special Section on Discrete Mathematics and Its Applications)
• Formal Design Verification of Combinational Circuits Specified by Recurrence Equations (Special Issue on Synthesis and Verification of Hardware Design)
• Computational Complexity of Manipulating Binary Decision Diagrams
• On Parallel Computation Time of Unification for Restricted Terms
• On the Computational Power of Binary Decision Diagrams
• Hardware Algorithms and Logic Design Automation : An Overview and Progress Report
• Area-Time Efficient Evaluation of Elementary Functions
• Exponential Lower Bounds on the Size of Variants of OBDD Representing Integer Division
• Compaction of Test Sets for Combinatinal Circuits Based on Symbolic Fault Simulation (Special Issue on Synthesis and Verification of Hardware Design)

スポンサーリンク