AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于验证行为hdl描述的数据流故障覆盖率度量标准
Qiushuang Zhang; Ian G. Harris;
机译:用于HDL设计验证的有效覆盖率分析指标
机译:使用LSTF,ATLAS和水平管实验数据模拟大直径管道和帽/块流动的界面区域浓度模型的验证
机译:建议的验证数据集中的不良流动行为
机译:用于验证行为HDL描述的数据流故障覆盖率指标
机译:用于复杂行为硬件设计的分层验证的覆盖率指标。
机译:计算机行为数据程序的描述和验证: BDataPro
机译:用于验证行为HDL描述的数据流故障覆盖度量
机译:从面向行为的高级描述中创建和验证电子设计的低级描述的方法和系统,包括用于分层显示控制和数据流信息的交互式系统
机译:方法,用于通过数据和控制流元素将数字设备图形化表示为行为描述,并将行为描述转换为结构描述
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。