科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
刘杰; 徐伟俊; 夏宇闻; 秦冀龙;
北京航空航天大学;
神州龙芯公司;
随机约束; SystemVerilog; 功能覆盖率;
机译:基于约束的功能设计验证,用于概念设计
机译:使用路径枚举和约束编程从行为VHDL程序生成设计验证测试
机译:使用Simulink设计验证器对自主汽车系统中的时序约束进行概率分析
机译:随机共振和物理约束在觅食策略演变中的作用
机译:长期护理环境中的集群随机试验的协变量约束随机化:在TRAIN-AD试验中的应用
机译:测试以随机块设计验证数据中的参数相等性和非线性回归模型的同一性测试以随机块设计数据中的非线性回归模型的模型同一性和参数相等
机译:I,II收敛性和受约束和无约束随机逼近的收敛速度定理,通过弱收敛方法。 III约束随机逼近问题的数值研究,
机译:使用约束随机测试参数选择的设计验证系统和方法
机译:用于在设计验证环境中自动选择约束求解器算法的系统,方法和计算机程序产品
机译:使用基于可变依赖性的受限随机化过程生成设计验证测试用例
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。