退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过基于SAT的属性检查对混合信号电路的稳态行为进行半形式验证
Schönherr Jens; Freibothe Martin; Straube Bernd; Bormann Jörg;
机译:利用边界优化进行模拟电路的半形式验证
机译:功能安全验证中基于SAT的故障等效检查
机译:混合信号电路的近似特性检查
机译:高效,声音正式验证模拟/混合信号电路
机译:产前美沙酮暴露破坏行为发育改变运动神经元内在特性和局部电路
机译:通过基于saT的属性检查对混合信号电路的稳态行为进行半形式验证
机译:使用基于SAT的BMC验证设计的一个或多个属性
机译:根据硬件设计的语言表示自动制定设计验证检查,以验证硬件设计的预期行为
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。