作者以时段演算(Duration Calculus,DC)为工具对VHDL的子集进行了形式语义分析;通过分析VHDL和Verilog HDL部分语句的形式语义...
基于4个网页-相关网页
作者以时段演算
The author calculates by time periods
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动