...
机译:SystemC TLM设计自动验证的基于语义的翻译方法
Model checking; TLM; SystemC; SMV model checker;
机译:SystemC TLM设计自动验证的基于语义的翻译方法
机译:使用定时自动机对SystemC设计进行自动化的硬件/软件协同验证
机译:一种新的SystemC硬件设计自动化电源估计方法
机译:基于断言的SystemC TLM验证方法
机译:片上网络体系结构的SystemC TLM2.0建模。
机译:MAGIC研究:使用SystemCHANGE™改善成年肾移植受者免疫抑制药物依从性的目的设计和方法
机译:从systemC到FpGa的EsL验证方法实践 - 以EpC Class-1 Generation-2 RFID标签设计为例