Automated Synthesis of Micro-Pipelines from Behavioral Verilog HDL

ASYNC '00 Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems(2000)

引用 0|浏览0
暂无评分
摘要
Delay-Insensitive specifications model communicating processes that are embedded in a medium that introduces arbitrary and varying delays on the communication channels. In this paper we study transformations of such specifications. The transformations ...
更多
查看译文
关键词
Delay-Insensitive specifications model,communication channel,varying delay,Automated Synthesis,Behavioral Verilog HDL
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要