SCV; SoC; SystemC; full adder; verification;
机译:SystemC TLM设计自动验证的基于语义的翻译方法
机译:基于SystemC的硬件/软件协同仿真平台,用于片上系统(SoC)设计空间探索
机译:SystemC TLM设计平台中基于FMEA方法的系统总线事务漏洞分析
机译:基于SystemC AMS的混合信号系统设计和验证的统一平台
机译:基于动态声明的SystemC验证
机译:基于电容传感器的索引平台用于便携式坐标测量仪器验证的设计和机械评估
机译:使用基于petri网的表示对systemC设计进行形式验证