C++ language; circuit simulation; formal verification; hardware-software codesign; integrated circuit design; system-on-chip; C++; HDL simulation; SOC design; SystemC; mixed language simulation environment; reusable verification; system-on-chip simulation; system-on-;
机译:基于TLM的平台,用于指定和验证基于组件的实时系统
机译:SystemC / TLM2接口的运行时仪器用于容错要求软件Cosimulation中的验证
机译:TLM方法在高压直流输电线路电力硬件在环仿真中的实现,验证和应用
机译:一个用于片上系统仿真和验证的TLM平台
机译:具有可重定位处理元素模型的基于系统级平台的多核片上系统仿真框架。
机译:用全原子模拟构建验证和分析胰凝乳蛋白酶抑制剂2的折叠过渡状态
机译:基于TLm的平台,用于指定和验证基于组件的实时系统