退出
我的积分:
中文文献批量获取
外文文献批量获取
张妙琳; 刘磊; 张军齐;
中国航空工业集团公司雷华电子技术研究所;
QuestaSim; 随机测试; System Verilog;
机译:使用Verilog Systems在多微电网中的微电网控制单元的设计与实现
机译:使用System Verilog的AMBA AXI协议的验证IP
机译:通过Matroid使用System Verilog验证专用处理器
机译:基于System Verilog断言的RTL功率优化技术
机译:对活牛ste牛的随机测试基于综合预测。
机译:基于睡眠的基于睡眠的System Forrapid Estrapid Sentoply HBV复制稳定细胞系
机译:使用System Verilog环境开发加密芯片验证过程
机译:基于有界模型检验的C和Verilog程序的行为一致性
机译:基于机器学习的自动软件测试用例设计系统和方法
机译:系统验证装置和方法,其基于随机测试程序和功能仿真来比较仿真结果
机译:基于配置文件的远程固件升级Fire Alarm System Gateway
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。