Automatic synthesis of interfaces between incompatible protocols
Automatic synthesis of interfaces between incompatible protocols
复制标题
自动合成不兼容协议之间的接口
DOI：
10.1145/277044.277047
复制
发表时间：
1998
期刊：
影响因子：
--
通讯作者：
A. Sangiovanni
中科院分区：
文献类型：
--
作者：
R. Passerone;J. Rowson;A. Sangiovanni
在系统级，可重用的知识产权（或IP）块可以抽象地表示为交换消息的块。这些IP块的具体实现必须通过复杂的信令协议交换消息。使用不同信令协议的IP之间的接口是一项繁琐且容易出错的设计任务。我们建议使用基于正则表达式的协议描述来展示如何将消息映射到信令协议上。给出了两种协议的接口机构造算法。我们已经实现了我们的算法在一个名为PIG的程序中，该程序基于正则表达式协议描述合成了Verilog实现。
At the system level, reusable Intellectual Property (or IP) blocks can be represented abstractly as blocks that exchange messages. The concrete implementations of these IP blocks must exchange the messages through complex signaling protocols. Interfacing between IP that use different signaling protocols is a tedious and error prone design task. We propose using regular expression based protocol descriptions to show how to map the message onto a signaling protocol. Given two protocols, an algorithm is proposed to build an interface machine. We have implemented our algorithm in a program named PIG that synthesizes a Verilog implementation based on a regular expression protocol description.