退出
我的积分:
中文文献批量获取
外文文献批量获取
Li Jing; 李晶; Han Jungang; 韩俊刚; Su An; 苏安; Su Cheng; 苏诚; Yang Shiwang; 杨世旺;
中国计算机学会;
图形处理器; 硬件设计; 平面裁剪算法; 功能验证;
机译:AN方法算法的建设裁剪丢弃裁剪面
机译:Deample-Maillow控制器的软件/硬件设计,用于水平面的物体导航
机译:基于2D电子门禁成像设备的剂量学算法评估,用于预处理和体内中平面剂量验证
机译:地中海上的ERS-1高度计数据处理:I-PAF上的算法裁剪和验证
机译:软件验证技术在硬件设计验证中的应用。
机译:实时实现新频谱估计器的软件算法和硬件设计
机译:算法验证和硬件设计交互方法
机译:用OBJ3验证参数化同步并发算法:重新审视像素平面结构
机译:根据硬件设计的语言表示自动制定设计验证检查,以验证硬件设计的预期行为
机译:用于数据处理器中的形式化验证的方法包括:使用信号包络的一个限制执行验证算法,并使用验证算法限制状态空间搜索
机译:正式验证工具,用于验证存储单元的硬件设计
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。