• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2000 Fiscal Year Final Research Report Summary

Studies on Logic Design Methods Adaptable to CAD DB

Research Project

Project/Area Number 10480060
Research Category

Grant-in-Aid for Scientific Research (B).

Allocation TypeSingle-year Grants
Section一般
Research Field 計算機科学
Research InstitutionKYOTOUNIVERSITY

Principal Investigator

KAMBAYASHI Yahiko  Kyoto University, Graduate School of Informatics, Professor, 情報学研究科, 教授 (00026311)

Co-Investigator(Kenkyū-buntansha) SAWADA Sunao  Kyushu University, Graduate School of Information Science and Electrical Engineering Assistant Professor, 大学院・システム情報科学研究科, 助手 (70235464)
TAKAKURA Hiroki  Kyoto University, Data Processing Center, Associate Professor, 大型計算機センター, 助教授 (70281144)
Project Period (FY) 1998 – 2000
KeywordsLogic Optimization / Logic Synthesis / Transduction Method / Error Compensation Method / Pass Transistor / CMOS / Annealing Method / Permissible Function
Research Abstract

Reuse of design data and design automation of logic circuits becomes important because logic circuits become to have large and complex structure. Though the CAD database is an indispensable technology to realize reuse of design data, it is difficult to integrate existing design methods and database technology as it is. Thus we have studied and improved design methods of logic circuits suitable for databases, which realize the CAD database. The themes of this research includes an improvement of the transduction method, development of a method for FPGA logic circuit design, development of a reuse technique of logic circuits, and development of a technique for saving power consumption of logic circuits.
In 1998, we have developed SSPFs (Super Set of Permissible Functions) that extend CSPFs (Compatible Sets of Permissible Functions) used by the transduction method and increased the degree of freedom in transformation of logic circuits. We also have proposed PSPFDs (Priority based SPFDs) tha … More t generalize the notion of SPFDs representing the logical degree of freedom of FPGA circuits and achieved a 40% reduction in the area of circuits. We have proposed a new algorithm for logic circuit design with saving power consumption that uses 3-state CMOS and realized the function assignment considering saving power consumption.
In 1999, we have developed two methods : a method that applies simulated annealing, one of metaheuristics, to the transduction method, and a method of logic optimization based on the notion of PF (Permissible Function) used by the transduction method for a pass transistor logic that is expected to realize more low power consumption circuits than existing CMOS logic.
In 2000, first, we have improved the optimization method for pass transistor logic circuits. we have found errors in a book of logic circuits, published more than 35 years ago, that collects minimal circuits calculated by hand by the improved method. Secondly, the development of a optimization method of CMOS logic have progressed. We have applied the method to the pass transistor logic that developed the preceding year for decreasing the number of transistors in logic gates. We also have introduced and applied the transduction method to reduce the number of logic gates. More effective optimization method of logic circuits have been developed by integrating the CMOS logic optimization method and the transduction method. Less

  • Research Products

    (12 results)

All Other

All Publications (12 results)

  • [Publications] 幸田武範: "エラー補償手続きに基づくFPGA回路最適化手法"電子情報通信学会論文誌. J81-D-I,No.6. 708-717 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Takenori Kouda: "Reduction of the Number of FPGA Blocks by Maximizing Flexibility of Internal Functions"IEICE Trans,Special Section on VLSI Design and CAD Algorithm. 2554-2562 (1998)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Hamano: "Organization of Mobile Networks Under Privacy Constraints"ICSC 99 Internet Applications. 317-322 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Y.Zhang: "On Interactions between Coexisting Traditional and Cooperative Transactions"International Journal of Cooperative Information Systems. Vol.8. 87-109 (1999)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Iwama,K.: "Tight Bounds on the Number of States of DFAs that are Equivalent to n-state NFAs"Theoretical Computer Science. Vol.237,Issue 1-2. 485-494 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] K.Cheng: "LRU-SP : A Size-adjusted and Popularity-aware Replacement Algorithm for Web Caching"Proc.24th IEEE Computer Society International Computer Software and Applications Conference (Compsac'2000). 48-53 (2000)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Kouda: "Logic Optimization Methods for FPGAs Based on Error Compensation Procedures"IEICE Trans. J81-D-l, No.6. 708-717 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Takenori Kouda: "Reduction of the Number of FPGA Blocks by Maximizing Flexibility of Internal Functions"IEICE Trans, Special Section on VLSI Design and CAD Algorithm. 2554-2562 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Hamano: "Organization of Mobile Networks Under Privacy Constraints"ICSC 99 Internet Applications. 317-322 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Y.Zhang: "On Interactions between Coexisting Traditional and Cooperative Transactions"International Journal of Cooperative Information Systems. Vol.8. 87-109 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Iwama, K.: "Tight Bounds on the Number of States of DFAs that are Equivalent to n-state NFAs"Theoretical Computer Science. Vol.237, Issue 1-2. 485-494 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] K.Cheng: "LRU-SP : A Size-adjusted and Popularity-aware Replacement Algorithm for Web Caching"Proc. 24th IEEE Computer Society International Computer Software and Applications Conference (Compsac 2000). 48-53 (2000)

    • Description
      「研究成果報告書概要(欧文)」より

URL: 

Published: 2002-03-26  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi