更 加 细 化 的 框 图

设 计 过 程 的 要 素
° 分 治 Divide and Conquer (e.g., ALU)
• 针 对 较 简 单 的 部 件 , 阐 明 解 决 方 案 .
• 设 计 每 个 部 件 ( 子 问 题 )
° 产 生 并 测 试 Generate and Test (e.g., ALU)
• 给 出 一 组 构 件 , 如 何 将 它 们 组 装 起 来 , 并 满 足 需 求
° 逐 步 求 精 Successive Refinement (e.g., carry lookahead)
• 解 决 “ 大 多 数 ” 问 题 ( 即 , 忽 视 一 些 约 束 或 特 殊 情 况 ), 检 查
并 修 改 不 足
° 阐 明 可 供 选 择 的 高 级 方 案 Formulate High-Level Alternatives (e.g.,
carry select)
• 当 选 择 任 何 一 种 方 案 时 , 都 要 考 虑 多 种 策 略
° 做 已 知 如 何 做 的 事 情 Work on the Things you Know How
to Do
• 在 不 断 前 进 中 , 未 知 的 事 情 将 越 来 越 明 显 。
北 京 大 学 计 算 机 科 学 技 术 系
计 算 机 系 统 结 构 教 研 室