SystemC; TLM; model checking; SMV;
机译:重用RTL断言检查器来验证SystemC TLM模型
机译:SystemC中建模的硬件/软件协同设计的自动分析和抽象
机译:机器人群的属性驱动设计:基于规范建模和模型检查的设计方法
机译:一种有效的带有状态空间压缩的模型提取方法,用于模型检查SystemC TLM设计
机译:用于微波电路建模和设计的神经空间映射方法。
机译:校正:一种简单有效的方法用于从低生物量的硅果皮模型褐藻中高质量共提取基因组DNA和总RNA
机译:基于多面体的系统模型和生成框架,用于有效的低功耗设计空间探索
机译:基于可靠性设计优化的有效替代模型的有效变量筛选方法。