Institute of Computer Engineering, Department of Computer Science, TU Dresden, D-01062 Dresden, Germany;
机译:高性能微处理器上精确中断的形式验证和调试
机译:对pSeries微处理器和通信子系统的设计进行功能形式验证
机译:验证Motorola MPC7450微处理器的嵌入式自定义内存的正式框架
机译:正式验证可重新配置的微处理器
机译:在微处理器和存储系统的形式验证中自动生成不变量。
机译:使用RF MEMS开关设计分析和验证Ka波段模式可重构贴片天线
机译:可重构微处理器的形式验证
机译:显式并行微处理器的形式验证