hardware-software codesign; 3G mobile communication; integrated circuit modelling; formal verification; software architecture; embedded systems; SystemC-based verification methodology; wireless software IP; intellectual property; complex lower-level software; system platform; embedded software; lab prototype equipment; hardware IP; software-centric hardware-software implementation; 3G WCDMA modem; software design; subsystem architecture; 3G hardware; protocol stack; instruction set simulator; high data rate service; hardware architecture; 3G software;
机译:复杂系统芯片验证的高级验证方法
机译:基于SystemC的椭圆曲线密码认证系统硬件/软件协同设计。
机译:验证软件需求:需求跟踪方法及其软件工具/ spl minus / RADIX
机译:基于SystemC的复杂无线软件IP验证方法
机译:验证安全关键软件:静态和动态方法。
机译:用于预处理验证单同定位定向术前肠外放射外科手术的虚拟水幻像软件的验证
机译:基于systemC的复杂无线软件Ip验证方法
机译:专家系统软件和传统软件的验证和确认指南:专家系统验证和验证方法的调查和记录。第3卷