@article{oai:nagoya.repo.nii.ac.jp:00008529, author = {磯, 直行 and ISO, NAOYUKI and 平田, 富夫 and HIRATA, TOMIO}, issue = {4}, journal = {情報処理学会論文誌}, month = {}, note = {配線可能性検証とは, 与えられた概略配線が詳細配線へ変換できるかどうかを判定することである. 本論文では, まず, 先に筆者らが提案した平面配線可能性検証アルゴリズムを計算機上に実現し, プリント配線板設計に適用した場合の性能について報告する. 次に, 使用する記憶量を削減するための方法を提案し, その性能について報告する., Routability checking is to decide whether the global wires can be transformed into the detailed ones or not. We proposed an efficient algorithm for routability checking. In this paper, we implement our algorithm and apply it to actual layout design. Furthermore, we modify our algorithm so that it use only linear space and give experimental results of its performance.}, pages = {1636--1643}, title = {平面配線可能性検証アルゴリズムの実現 (<特集>電子システムの設計技術と設計自動化)}, volume = {40}, year = {1999} }