退出
我的积分:
中文文献批量获取
外文文献批量获取
Graphics; Mentor; 集成; 瑞萨科技公司; 快速原型系统; 瑞萨公司; 开发工作; 综合技术; 验证过程; FPGA; 系统设计; 验证工作; C语言;
机译:0-In提升基于断言的验证套件
机译:在线断言的高级综合,用于验证,调试和时序分析
机译:从基于断言的验证到基于断言的综合
机译:断言-检查器综合,用于硬件验证,在线调试和在线监控。
机译:断言和被忽视的问题将循证医学和中药用于心脏康复
机译:数据流分析作为文档,断言生成,验证和错误检测中的辅助工具。
机译:用于基于用户程序代码生成断言的设备和方法,以及用于使用断言来验证处理器的设备和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。