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

Studies on DA and Intelligent CAD DB for VLSI Design

Research Project

Project/Area Number 04044085
Research Category

Grant-in-Aid for international Scientific Research

Allocation TypeSingle-year Grants
SectionJoint Research
Research InstitutionKyoto University

Principal Investigator

KAMBAYASHI Yahiko  Kyoto University, Faculty of Engineering, Professor, 工学部, 教授 (00026311)

Co-Investigator(Kenkyū-buntansha) SAWADA Sunao  Kyushu University, Department of Computer Science and Communication Engineering,, 工学部, 助手 (70235464)
IWAMA Kazuo  Kyushu University, Department of Computer Science and Communication Engineering,, 工学部, 教授 (50131272)
CHEN Oiming  University of California, Dept.of Computer Science, Visiting Professor, 計算機科学科, 客員教授
MUROGA Sabro  University of Illinois, Dept.of Computer Science, Professor, 計算機科学科, 教授
QIMING Chen  カリフォルニア大学, 工学部, 客員教授
Project Period (FY) 1992 – 1994
Project Status Completed (Fiscal Year 1994)
Budget Amount *help
¥8,500,000 (Direct Cost: ¥8,500,000)
Fiscal Year 1994: ¥2,500,000 (Direct Cost: ¥2,500,000)
Fiscal Year 1993: ¥3,000,000 (Direct Cost: ¥3,000,000)
Fiscal Year 1992: ¥3,000,000 (Direct Cost: ¥3,000,000)
KeywordsLogic Design / Computer Aided Design / Transduction Method / Object Oriented / 相互運用性 / オブジェクト指向 / データベース / 協調処理 / 高速論理回路 / セキュリティ / マルチデータベース / 知識ベース
Research Abstract

Various improved versions of transduction methods (originally developed by Kambayashi and Muroga) and new applications such as design of FPGAs (Field Programmable Gate Arrays). As one of the advantages of transduction method is that we can reuse design results. This property is suitable for CAD databases. A new data model suitable for CAD database and user coordination is also developed. Programs of transduction methods and CAD databases are implemented. Details of the results are as follows.
(1) Improvement of transduction methods based on error-compensation : In order to improve network pattern modification capability, transduction methods based on error-compensation were developed. We made a new version of the method and improved the computation time, which was a serious disadvantage of error-compensation.
(2) Design of large circuits using transduction method : As the maximum size of the circuits handled by transduction methods is determined by the BDD (Binary Decision Diagram) size, we will select a part of a circuit to improve the design for a large circuit. We have developed several methods to select such a partial circuits.
(3) FPGA design by transduction method : For a given FPGA circuit, an improved circuit is generated by merging logic blocks and removing redundant connections.
(4) Realization of a data-knowledge coordination model : For CAD databases it is important to use various kinds of databases and knowledgebases distributed in various locations. We have implemented a system consisting of three hierarchies, one fore databases, one for knowledgebases and one for coordination. Object deputy model is used for realization. Furthermore, fundamental mechanisms for user coordination for CAD databases are developed.

Report

(3 results)
  • 1994 Final Research Report Summary
  • 1993 Annual Research Report
  • 1992 Annual Research Report
  • Research Products

    (43 results)

All Other

All Publications (43 results)

  • [Publications] Y.Kambayashi,Q.Chen,T.Kunishima: "Coordination Manager:A Mechanism to Support Cooperative Work on Database Systems" Proceedings of the Second Far-East Workshop on Future Database Systems. 176-183 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] S.Sawada,Y.Kambayashi S.Muroga: "Generaion of Fan-in Restricted Initial Networks for Transduction Method" Proceeding of the Synthesis and Simulation Meeting and International Interchange. 36-45 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] Q.Chen,Y.Kambayashi: "Coordination of Data and Knowledge Base Systems under Distributed Environment Interoperable Database Systems" Proceedings of IFIP DS-5 IFIP Transactions A-25. 139-154 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] K.Iwama,E.Miyano,Y.Kambayashi: "Routing Problems on the Mesh of Buses" Proceedings of 3rd International Symposium on Algorithms and Computation Lecture Notes in Computer Science 650. 155-164 (1992)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] 徐海燕,古川哲也,上林彌彦: "設計データベースのための導出関連ビューの実現" 情報処理学会論文誌. vol.34 no.3. 468-477 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] H.Xu,Y.Kambayashi: "Realization of Composite Relationship Views Utilizing Regular Expressions" Database System for Next-Generation Applications Principles and Practice. 79-87 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] Y.Kambayashi,H.Takakura,S.Meki: "Data Organization for New Hardware Technology" Proceedings of 4th International Conference on Foundations of Data Organization and Algorithms. 164-196 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] S.Konomi,T.Furukawa,Y.Kambayashi: "Super-Key Classes for Updating Materialized Derived Classes in Object Bases" Proceedings of 3rd International Conference Deductive and Object-Oriented Databases. 310-326 (1993)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] 上林彌彦: "マルチデータベースの研究開発動向" 情報処理学会誌. 35-2. 105-119 (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] M.El-Sharkawi,Y.Kambayashi: "Generating Nested SQL Queries for Documentation" Transactions of Information Processing Society in Japan(情報処理学会論文誌). 253-266 (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] K.Iwama,Y.Kambayashi: "A Simpler Parallel Algorithm for Graph Connectivity" Journal of Algorithms. vol.16 no.2. 190-217 (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] Z.Peng,Y.Kambayashi: "Introducing Proxy Mechanisms for Realization of Views in Object-Oriented Databases" Object-Oriented Computing '94 Research Notes/Software Engineering Modern Scientific Publishing Firm of Japan. (1994)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] Z.Peng,Y.Kambayashi,Q.Chen: "Realization of Data-Knowledge Coordination Model by an Object Deputy Based Method" IEEE International Workshop on Research Issues of Data Engineering. 140-147 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] Z.Peng,Y.Kambayashi: "Deputy Mechanisms for Object-Oriented Databases" IEEE 11th International Conference on Data Engineering. 333-340 (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] Y.Kambayashi,Z.Peng: "Object Deputy Model and Its Applications" Proceedings of the 4th International Symposium on Database Systems for Advanced Applications KEYNOTE PAPER. (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] 澤田直,石垣博康,上林彌彦,室賀三郎: "トランスダクション法における一般化直列分割に基づくファンイン制限" 電子通信学会論文誌採録. (1995)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] Y.Kambayashi, Q.Chen, T.Kunishima: "Coordination Manager : A Mechanism to Support Cooperative Work on Database Systems" Proceedings of the Second Far-East Workshop on Future Database Systems. 176-183 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] S.Sawada, Y.Kambayashi, S.Muroga: "Generation of Fan-in Restricted Initial Networks for Transduction Method" Proceeding of the Synthesis and Simulation Meeting and International Interchange. 36-45 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] Q.Chen, Y.Kambayashi: "Coordination of Data and Knowledge Base Systems under Distributed Environment Interoperable Database Systems" Proceedings of IFIP DS-5 IFIP Transactions A-25. 139-154 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] K.Iwama, E.Miyano, Y.Kambayashi: "Routing Problems on the Mesh of Buses" Proceedings of 3rd International Symposium on Algorithms and Computation Lecture Notes in Computer Science 650. 155-164 (1992)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] H.Xu, T.Furukawa and Y.Kambayashi: "Realization of Derived Relationship Views for Design Database Systems" Information Processing Society in Japan. 34-3. 468-477 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] H.Xu, Y.Kambayashi: "Realization of Composite Relationship Views Utilizing Regular Expressions Database System for Next-Generation Applications Principles and Practice World-Scientific" 79-87 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] Y.Kambayashi, H.Takakura, S.Meki: "Data Organization for New Hardware Technology" Proceedings of 4th International Conference on Foundations of Data Organization and Algorithms. 164-196 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] S.Konomi, T.Furukawa, Y.Kambayashi: "Super-Key Classes for Updating Materialized Derived Classes in Object Bases" Proceedings of 3rd International Conference Deductive and Object-Oriented Databases. 310-326 (1993)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] Y.Kambayashi: "Recent Research and Development of Multi-Database Systems" Information Processing Society in Japan. 35-2. 105-119 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] M.EL-Sharkawi, Y.Kambayashi: "Generating Nested SQL Queries for Documentation" Transactions of Information Processing Society in Japan. 253-266 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] K.Iwama, Y.Kambayashi: "A Simpler Parallel Algorithm for Graph Connectivity" Journal of Algorithms. 16-2. 190-217 (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] Z.Peng, Y.Kambayashi: "Introducing Proxy Mechanisms for Realization of Views in Object-Oriented Databases" Object-Oriented Computing '94 Research Notes/Software Engineering Modern Scientific Publishing Firm of Japan. (1994)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] Z.Peng, Y.Kambayashi, Q.Chen: "Realization of Data-Knowledge Coordination Model by an Object Deputy Based Method" IEEE International Workshop on Research Issues of Data Engineering. 140-147 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] Z.Peng, Y.Kambayashi: "Deputy Mechanisms for Object-Oriented Databases" IEEE 11th International Conference on Data Engineering. 333-340 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] Y.Kambayashi, Z.Peng: "Object Deputy Model and Its Applications" Proceedings of the 4th International Symposium on Database Systems for Advanced Applications KEYNOTEPAPER. (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] S.Sawada, H.Ishigaki, Y.Kambayashi and S.Muroga: "A Fan-in Restriction Method Based on Generalized Serial Duplication for Transduction Method" The Transactions of the Institute of Electronics, Information and Communication Engineers. (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1994 Final Research Report Summary
  • [Publications] H.Takakura,Y.Kambayashi: "A Design of a Transparent Backup System Using a Main Memory Database" Proceedings of the 3rd International Symposium on Database Systems for Advanced Applications. 178-185 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] H.Takakura,Y.Kambayashi: "Continuously Backup Systems Utilizing Flash Memory" Proceedings of the IEEE 9th International Conference on Data Engineering. 439-446 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] H.Linaae,I.W.Lovseth,Y.Kambayashi: "An Authorization Mechanism for Decentralized Dynamic Security Management" Proceedings of Third Euro-Japan Seminar on Information Modeling and Knowledge Base. (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] Y.Kambayashi,H.Takakura,S.Meki: "Data Organization for New Hardware Technology" Proceedings of 4th International Conference on Foundations of Data Organization and Algorithms,Springer-Verlag. 164-196 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] H.Takada,Y.Kambayashi: "An Object-Oriented Office Space Description Model and an Office View Management Mechanism for Distributed Office Environment" Proceedings of 4th International Conference on Foundations of Data Organization and Algorithms,Springer-Verlag. 362-377 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] 高倉弘喜,上林彌彦: "フラッシュメモリバックアップ方式の設計と性能評価" 電子情報通信学会論文誌,vol.J76-D-I,no.10. 514-521 (1993)

    • Related Report
      1993 Annual Research Report
  • [Publications] 上林彌彦: "マルチデータベースの研究開発動向" 情報処理学会誌. (1994)

    • Related Report
      1993 Annual Research Report
  • [Publications] K.Iwama,Y.Kambayashi: "A Simple Parallel Algorithm for Graph Connectivity" Journal of Algorithms,Vol.6,No.2. 190-217 (1994)

    • Related Report
      1993 Annual Research Report
  • [Publications] Y.KAMBAYASHI,Q.Chen,T.KUNISHIMA: "Coordination Manager:A Mechanism to Support Cooperative Work on Database Systems" Advanced Database Research and Development Series Future Database '92. 3. 176-185 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] S.SAWADA,Y.KAMBAYASHI,S.MUROGA: "Generation of Fan-in Restricted Initial Networks for Transduction Method" Proceeding of the Synthesis and Simulation Meeting and International Exchange. 36-45 (1992)

    • Related Report
      1992 Annual Research Report
  • [Publications] Q.Chen, Y.KAMBAYASHI: "Coordination of Data and Knowledge Base Systems under Distributed Environment" Proceedings of IFIP DS-5 Semantics of Interoperable Database Systems. 134-119 (1992)

    • Related Report
      1992 Annual Research Report

URL: 

Published: 1992-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi