...
机译:VIPER:VLIW整数微处理器
机译:实现大型数据总线VLIW微处理器|科学出版物
机译:在超标量和VLIW微处理器的形式验证中有效使用布尔可满足性过程
机译:8路VLIW嵌入式微处理器架构和性能评估
机译:VIPER:25 MHz,100 MIPS峰值VLIW微处理器
机译:“拥抱毒蛇”:战前紧身胸衣改革和权威问题。
机译:使用被动微处理器控制的膝盖与有源动力微处理器控制的膝盖进行经水平截肢的评估
机译:实现大型数据总线VLIW微处理器
机译:使用HOL对微编码的VIpER微处理器进行形式验证