退出
我的积分:
中文文献批量获取
外文文献批量获取
王旭姣; 梁利平;
清华大学微电子学研究所;
清华大学信息技术研究院;
事务; testbench; 脚本; IP功能验证; 断言;
机译:在事务级别对硬件IP块进行可配置功能验证的系统方法
机译:可重用的验证环境,用于验证以太网IP内核中的以太网数据包,一种验证策略-分析
机译:基于通用系统Verilog通用验证方法的可重用验证环境,可有效验证图像信号处理IPS / SOCS
机译:一种在SoC功能验证环境中重用随机IP刺激的方法
机译:IP电话环境中服务移动性的管理:一种基于移动代理的方法(法语)。
机译:孟加拉国环境肠道功能障碍(BEED)研究:一项基于社区的干预研究的协议以验证环境肠道功能障碍的非侵入性生物标志物
机译:HTTPS的替代版本,用于提供不可抵赖的安全属性(一种用于移动环境中的安全事务的基于组件的灵活方法):一种用于移动环境中的安全事务的基于组件的灵活方法
机译:原子事务验证的工程方法:使用简单的Object211模型在编译时实现基于语义的推理
机译:基于信标的导航系统和方法,提供基于的基于事务和基于的数字事务,具有多层身份验证
机译:一种在多核微处理器环境中验证原子事务的方法
机译:在基于IP的电话环境中使用公钥基础结构(PKI)进行身份验证和身份管理的方法和设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。