退出
我的积分:
中文文献批量获取
外文文献批量获取
无;
Synopsys公司; Magellan; RTL形式验证工具; 层次化验证; Discovery验证平台;
机译:用于RTL硬件IP内核的新颖的形式验证方法
机译:自动正确性条件生成,可对Synteeized RTL设计进行形式验证
机译:将转换工具从同步RTL模型安装到异步RTL模型
机译:基于FPGA的验证平台中的新RTL调试方法
机译:自动生成正确性条件,以对合成的RTL设计进行形式验证。
机译:使用Docker将工具带入CyVerse Discovery Environment
机译:RTL的语义和可重构计算系统中使用形式验证的合成RTL设计的验证
机译:来自Linac Wakefields的残余RTL的新限制
机译:以Synopsys设计约束格式自动生成和提升时序约束的方法
机译:新的无线电车辆Sidelink Discovery
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。