積グラフ探索を利用した実用的なプロトコル変換器の自動合成と検証

摘要

To design system LSIs using existing designs, we need protocol transducers, which convert one on-chip communication protocol into another. However, automatic protocol transducer synthesis methods are not incorporated to design flows of LSIs, because they cannot handle today's practical protocols and generated transducers are not reliable enough. In this paper, we propose an automatic transducer synthesis method which can handle real-life protocols. Our method is based on existing researches of product graph exploration method. Also we propose a verification method to improve reliablity of generated transducers.%既存の設計資産を再利用してシステムLSIを設計するためには、異なるオンチップ通信プロトコルの間を変換するプロトコル変換器が必要となる。しかしながら、最新の実用的なプロトコルが扱えない、合成された変換器が信頼できないなどの理由から、プロトコル変換器自動合成はLSIの設計に取り入れられてい琴い。本研究では、積グラフ探索手法を基にして、実用的なプロトコルを扱える変換器自動合成手法を提案する。さらに、合成された変換器の信頼性を高めるための検証手法を併せて提案する。