University of California Santa Cruz;
Complex design verification; Design schedule; Microprocessors; Processor design; Processor verification; Release to markets;
机译:用于设计验证的基于锁存的FPGA仿真方法:微处理器的案例研究
机译:自动验证微处理器设计的外部中断行为
机译:对pSeries微处理器和通信子系统的设计进行功能形式验证
机译:验证超标量微处理器的技术
机译:高效的硬件和软件技术,用于设计验证以及故障和设计分析
机译:具有波束成形的毫米波蜂窝系统的高效前同步码设计技术
机译:验证超标量微处理器的技术