在 ざい 集成 しゅうせい 中 なか 邏輯合成 ごうせい （英語 えいご logic synthesis 是 ぜ 所 しょ 数字 すうじ 的 まと 高 だか 抽象 ちゅうしょう 述 じゅつ 布 ぬの 数 すう 化 か 后 きさき 的 てき 逻辑门 级别的 てき 网表 的 てき
通常 つうじょう 的 てき 信 しん 息 いき 来 らい 源 みなもと 是 ただし 硬 かた 件 けん 主要 しゅよう 是 ぜ VHDL 和 わ Verilog 等 ひとし 人 じん 通常 つうじょう 使用 しよう 硬 かた 件 けん 来 らい 的 てき 高 だか 抽象 ちゅうしょう 通常 つうじょう 是 ぜ 数字 すうじ 寄 よせ 存 そん 器 き 的 まと 数 すう 据 すえ 行 くだり 数字 すうじ 的 てき 功 こう 能 のう 他 た 更 さら 多 た 精力 せいりょく 投入 とうにゅう 功 こう 能 のう 方面 ほうめん 的 てき 免 めん 在 ざい
然 しか 路 ろ 的 てき 高 だか 抽象 ちゅうしょう 到 いた 是 ぜ 一 いち 工作 こうさく 在 ざい 以前 いぜん 要 よう 人 じん 完成 かんせい 函数 かんすう 的 てき 建立 こんりゅう 表 ひょう 等 とう 步 ふ 随 ずい 着 ぎ 的 てき 集成 しゅうせい 越来 ごえく 越 えつ 大 だい 人工 じんこう 了 りょう
随 ずい 着 ぎ 电子设计自 じ 的 てき 但 ただし 是 ぜ 由 ゆかり 工具 こうぐ 生 せい 最 さい 的 てき 表 ひょう 因 いん 人工 じんこう 的 てき 介入 かいにゅう 不可缺 ふかけつ 少 すくな 某 ぼう 具 ぐ 能 のう 可 か 器 き 件 けん 可 か Programmable Array Logic, PAL ）和 わ 现场可 か 列 れつ （Field Programmable Gate Array, FPGA ）上 じょう 生成 せいせい 数 かず 据 すえ 流 りゅう 专用集成 しゅうせい 。逻辑综合是 ぜ 自 じ 的 てき 一 いち 要 よう 方面 ほうめん
逻辑综合的 てき 可 か 溯 さかのぼ 到 いた 乔治·布 ぬの （1815－1864）对逻辑代数 だいすう 的 てき 研究 けんきゅう 代数 だいすう 称 しょう 布 ぬの 数 すう 年 ねん 克 かつ 香 が 展示 てんじ 了 りょう 如何 いか 使用 しよう 代数 だいすう 来 らい 切 きり [1] 在 ざい 早期 そうき 了 りょう 的 てき 利用 りよう 卡诺图 ）。通 つう 可 か 到 いた 最小 さいしょう 化 か 的 てき 即 そく 式 しき 可 か 到 いた 人工 じんこう 上述 じょうじゅつ 的 てき 操作 そうさ 可 か 但 ただし 是 ぜ 形 がた 表示 ひょうじ 的 てき 算法 さんぽう 的 てき 因 いん 要 よう 研究 けんきゅう 代数 だいすう 形式 けいしき 的 てき 化 か 法 ほう [2] :189
对逻辑最小 さいしょう 化 か 自 じ 的 てき 第一步 だいいっぽ 是 ぜ 奎因－麦 むぎ 克 かつ 拉 ひしげ 算法 さんぽう ，它可以在计算机上 きじょう 的 てき 目的 もくてき 是 ぜ 得 え 到 いた 使用 しよう 最少 さいしょう 数量 すうりょう 的 てき 器 き 件 けん 原始 げんし 式 しき 的 てき 意 い 人 ひと 使用 しよう 完成 かんせい 的 てき 函数 かんすう 的 てき 化 か 启发式 しき 逻辑简化器 き Espresso heuristic logic minimizer ）成 なり 完成 かんせい 早期 そうき 数字 すうじ 的 てき 有限 ゆうげん 状 じょう 的 てき 和 わ 的 てき 大 だい 多 た 数字 すうじ 机 つくえ 相 しょう IBM 和 わ 贝尔实验室 しつ 在 ざい 自 じ 工具 こうぐ 的 てき 早期 そうき 扮 ふん 演 えんじ 了 りょう 的 てき 角 かく 色 しょく 分立 ぶんりつ 的 てき 可 か Programmable logic arrays, PLA ）促进了 りょう 高 だか 效率 こうりつ 的 てき 最小 さいしょう 化 か 的 てき 由 よし 述 じゅつ 中 ちゅう 的 てき 最小 さいしょう 化 か 可 か 少 しょう 可 か 的 てき 面 めん
然 しか 的 てき 在 ざい 超 ちょう 大 だい 集成 しゅうせい 中 なか 的 てき 重要 じゅうよう 程度 ていど 限 げん 制 せい 大 だい 多数 たすう 的 てき 者 しゃ 使用 しよう 多 た 情 じょう 所有 しょゆう 的 てき 寄 よせ 存 そん 器 き Register-transfer level, RTL ）描述或 ある 他行 たぎょう 都 と 是 ぜ 多 た 早期 そうき 的 てき 用 よう 来 らい 多 た 路 ろ 用 よう 了 りょう 局部 きょくぶ 的 てき 来 らい 系 けい 年代 ねんだい 了 りょう 的 てき 研究 けんきゅう 加州 かしゅう 大学 だいがく 伯 はく 克利 かつとし 分校 ぶんこう 的 てき [3] 加州 かしゅう 大学 だいがく 洛 らく 杉 すぎ 校 こう 的 てき [4] 科 か 多 た 大学 だいがく 博 はく 分校 ぶんこう 的 てき [5] 最 さい 名 めい 在 ざい 技 わざ 速 そく 成 なる 市 し 的 てき 自 じ
随 ずい 着 ぎ 集成 しゅうせい 的 てき 的 てき 不断 ふだん 增大 ぞうだい 工具 こうぐ 的 てき 重要 じゅうよう 性 せい 日 び 益 えき 凸 とつ 首 くび 先 さき 由 ゆかり 路 ろ 十 じゅう 分 ふん 小 しょう 中 ちゅう 集成 しゅうせい 的 てき 技 わざ 法 ほう 不 ふ 再 さい 具有 ぐゆう 效率 こうりつ 的 てき 在 ざい 深 ふか 米 まい 超大 ちょうだい 集成 しゅうせい 中 ちゅう 元 もと 件 けん 的 てき 延 のべ 得 とく 十 じゅう 分 ふん 但 ただし 是 ぜ 的 てき 硬 かた 件 けん 和 わ 物理 ぶつり 工具 こうぐ 可 か 好地 こうち [6] :211 将 しょう 先 さき 硬 かた 件 けん 逻辑仿真 、逻辑综合等 とう 工具 こうぐ 配合 はいごう 使用 しよう 可 か 高 だか 工作 こうさく 的 てき 效率 こうりつ 和 わ 准 じゅん 程度 ていど
第 だい 一 いち 排 はい 真 ま 第 だい 二 に 排 はい 第 だい 三 さん 排 はい 德 とく 摩 ま 根 ね De Morgan ）等 とう 效 こう 第 だい 四 よん 排 はい 注意 ちゅうい 的 てき 元 もと 件 けん 符号 ふごう 国 こく 国家 こっか 和 かず 工程 こうてい 学会 がっかい 的 てき 用法 ようほう 在 ざい 的 てき 流 りゅう 程 ほど 中 ちゅう 是 ぜ 电子电路 的 てき 功 こう 能 のう Functional design ）转换到以逻辑、算数 さんすう 控 ひかえ 制 せい 流 りゅう 程 ほど 的 てき 表示 ひょうじ 形式 けいしき 寄 よせ 存 そん 器 き 之 の 后 きさき 的 てき 下 か 一 いち 步 ほ 是 ぜ 电路设计 。在 ざい 的 てき 电子设计自 じ 中 なか 可 か 使用 しよう 基 もと 的 てき 高 こう 合成 ごうせい 工具 こうぐ 自 じ 完成 かんせい [7]
逻辑功 こう 能 のう 元 もと 件 けん 通常 つうじょう 由 よし 与 あずか 或 ある 与 あずか 非 ひ 等 ひとし 逻辑门 组成，它们在 ざい 数字 すうじ 中 ちゅう 是 ぜ 最 さい 基本 きほん 的 てき 元 もと 件 けん 使用 しよう 元 もと 件 けん 可 か 算 さん 等 とう 功 こう 能 のう 加法 かほう 器 き 乘法 じょうほう 器 き Binary multiplier ）都 みやこ 是 ただし 由 よし 基本 きほん 的 てき 元 もと 件 けん 的 てき
在 ざい 之 の 前 まえ 人 じん 通常 つうじょう 使用 しよう 高 だか 抽象 ちゅうしょう 的 てき 硬 かた 件 けん 通常 つうじょう 不 ふ 涉 わたる 使用 しよう 的 てき 具体 ぐたい 器 き 件 けん 工 こう 将 しょう 高 だか 抽象 ちゅうしょう 的 てき 与 あずか 具体 ぐたい 的 てき 器 き 件 けん 工 こう 合 あい 起 おこり 来 らい 公司 こうし 和 わ 硬 かた 件 けん 通常 つうじょう 合作 がっさく 后 きさき 者 しゃ 把 わ 基 もと 件 けん 的 てき 硬 かた 件 けん 附加 ふか 在 ざい 工具 こうぐ 里 さと 包含 ほうがん 了 りょう 基 もと 件 けん 的 てき 功 こう 能 のう 等 とう 方面 ほうめん 的 てき 信 しん 息 いき 信 しん 息 いき 的 てき 集合 しゅうごう 叫 さけべ 工 こう 有 ゆう 的 てき 系 けい 提供 ていきょう 的 てき 工 こう 是 ぜ 最 さい 的 てき 人 じん 要 よう 自己 じこ 完成 かんせい 某 ぼう 特定 とくてい 工 こう 的 てき 定 てい
高 こう 合 ごう 或 ある 行 くだり 的 てき [ 编辑 ] 为了提 ひさげ 高 だか 人 じん 工作 こうさく 效率 こうりつ 人 にん 力 りょく 路 ろ 的 てき 行 ぎょう 的 てき 研究 けんきゅう 年 ねん 了 りょう 首 くび 用 よう 解 かい 案 あん [8] 工具 こうぐ 可 か 来 らい 的 てき 专用集成 しゅうせい 和 わ 现场可 か 列 れつ 应用。这些工具 こうぐ 可 か 到 いた 寄 よせ 存 そん 器 き 工作 こうさく 用 もちい 来 らい [8] 高 こう 合 あい 称 しょう 主要 しゅよう 指 ゆび 言 げん 例 れい C语言 等 ひとし 来 らい 的 てき 合成 ごうせい 合 あい 指 ゆび 路 ろ 的 てき 功 こう 能 のう 向 こう 寄 よせ 存 そん 器 き
尽 つき 管 かん 自 じ 工具 こうぐ 已 やめ 一定 いってい 的 てき 但 ただし 是 ぜ 然 しか 有 ゆう 不 ふ 完 かん 善之 よしゆき 硬 かた 件 けん 只 ただ 有 ゆう 被 ひ 称 しょう 可 か 的 てき [9]
具有 ぐゆう 功 こう 能 のう 的 てき 通常 つうじょう 使用 しよう 了 りょう 多 た 的 てき 的 てき 工具 こうぐ 可 か 寄 よせ 存 そん 器 き 硬 かた 件 けん 代 だい 的 てき 多 た 不 ふ 的 てき 能 のう 基本 きほん 相 しょう 同 どう 的 てき 功 こう 能 のう 但 ただし 是 ぜ 由 よし 例 れい 在 ざい Verilog 里 さと 人 じん 果 はて 不 ふ 指名 しめい 向 こう 量 りょう 寄 よせ 存 そん 器 き 的 てき 位 い 那 な 合 あい 的 てき 会 かい 比 ひ 指 ゆび 明 あかり 位 い 情 じょう 大 だい 得 とく 多 た [6] :204 另外，如果if-else语句结构没 ぼつ 有 ゆう 指 ゆび 明 あかり 所有 しょゆう 可能 かのう 出 で 情 じょう 在 ざい 功 こう 能 のう 会 かい 出 で 但 ただし 是 ぜ 工 こう 具有 ぐゆう 可能 かのう 人 じん 定 てい [6] :219 这就需要 じゅよう 人 じん 掌握 しょうあく 用 よう 良好 りょうこう 的 てき 代 だい 格 かく
接 せっ 下 か 来 らい 工具 こうぐ 会 かい 使用 しよう 来 らい 不可 ふか 技 わざ 法 ほう 将 はた 的 てき 内容 ないよう 是 ぜ 在 ざい 段 だん 采 さい 取 と 来 らい 函数 かんすう 用 よう 的 てき 足 あし 一定 いってい 的 てき 面 めん 功 こう 要求 ようきゅう 卡诺图 化 か 数 すう 的 てき 目的 もくてき 一致 いっち 不 ふ 的 てき 工具 こうぐ 大 だい 大 だい 降 くだ 低 てい 了 りょう 人工 じんこう 操作 そうさ 的 てき 和 わ 率 りつ
最 さい 后 きさき 的 てき 表 ひょう 将 はた 保 ほ 功 こう 能 のう 符合 ふごう 人 じん 然 しか 后 きさき 将 はた 被 ひ 送 おく 集成 しゅうせい 硬 かた 件 けん 在 ざい 那 な 里 さと 技 わざ 采 さい 用 よう 器 き 件 けん 与 あずか 具体 ぐたい 器 き 件 けん 工 こう 技 わざ 根 ね 据 すえ 表 ひょう 制 せい 造 づくり 真 ま 专用集成 しゅうせい 。
Electronic Design Automation For Integrated Circuits Handbook , by Lavagno, Martin, and Scheffer, ISBN 978-0-8493-3096-4 A survey of the field of Electronic design automation . The above summary was derived, with permission, from Volume 2, Chapter 2, Logic Synthesis by Sunil Khatri and Narendra Shenoy.A Consistent Approach in Logic Synthesis for FPGA Architectures , by Burgun Luc, Greiner Alain, and Prado Lopes Eudes, Proceedings of the international Conference on Asic (ASICON), Pekin, October 1994, pp. 104–107.
