退出
我的积分:
中文文献批量获取
外文文献批量获取
谈笑; 王小力;
西安交通大学电子与信息工程学院;
西安交通大学理学院;
事务级建模; 随机化约束; 覆盖率; 可重用化; 验证自动化; UVM;
机译:模块锚定网络推论:一种基于序列模块的新基因网络构建方法,从基因组表达数据对人类疾病机制
机译:SMRT门:一种验证太平洋生物学测序平台合成构建的方法
机译:从模块到系统级的RISC-V SOC的UVM验证平台
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:一种基于一组与疾病相关的MeSH®术语的构建用于收集疾病候选基因并确定其优先级的新颖方法
机译:knOWLearn:一种基于重用的方法,以半自动方式构建本体
机译:开发方法与基于代理的任务级分析战斗模拟的验证和验证方法相结合
机译:基于平台的硅产品中基于扩散单元的IP模块的门重用方法
机译:DB SCM一种基于协作的内容共享方法,该方法通过构建时尚项目内容DB和使用该方法的商业平台系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。