使用形式规范、模型的 CC-NUMA 多处理器架构的系统设计…PDF书籍下载

原名:System Design of a CC-NUMA Multiprocessor Architecture using Formal Specification, Model …
作品简介:休伯特·加拉维尔、沙·维霍伊、马西莫·赞德里斯。第 1 R 1 简介。硬件 。检索具有给定对象的本地副本的处理器集。每个处理器节点包含两个 PowerPC mi-。 Vhdl 的。因为这些语言更注重实现。……