特許

J-GLOBAL ID：201103064265041894

再コンフュギュレーション可能なハードウェアシステムの評価装置及び演算処理方法

発明者： プラナブ アシャー ,  シャラッド マリク ,  マーガレット マリオノシ ,  ペイジン ツォング
出願人/特許権者： 日本電気株式会社 ,  プリンストン ユニバーシティ
代理人 (1件)： 松本 正夫
公報種別：特許公報
出願番号（国際出願番号）：特願平11-076687
公開番号（公開出願番号）：特開平11-353357
特許番号：特許第3119646号
出願日： 1999年03月19日
公開日（公表日）： 1999年12月24日
請求項（抜粋）：

【請求項1】 入力された検索問題を解くためのコンフィギュレーション可能な評価装置において、コンフュギュレーション命令を有するメモリと、前記コンフィギュレーション命令に従ってコンフィギュレーション可能なハードウェアシステムとを備え、前記コンフィギュレーション命令は、前記入力された検索問題の現在の問題に基づいて検索を実行するよう前記ハードウェアシステムをコンフィギュレーションし、かつ、前記コンフィギュレーション命令は、前記入力された検索問題の各々について、前記検索中に行なわれるバックトラッキングが、前記ハードウェアシステムの制御下で非時系列的バックトラッキングを含むよう前記ハードウェアシステムをコンフィギュレーションし、さらに、前記コンフュギュレーション命令は、前記入力された検索問題がブール関数式充足可能性問題になり、かつ前記ブール関数式充足可能性問題に対して、前記検索が前記非時系列的バックトラッキングを使ったブール関数式SAT解決検索となるように、前記コンフィギュレーション命令が前記ハードウェアシステムをコンフィギュレーションすると共に、前記コンフィギュレーション命令が前記ハードウェアシステムをコンフィギュレーションすることにより、ブロッキング変数をリーフ変数としてみなすための手段と、リーフ変数の値を変えるための手段と、リーフ変数のレベルよりも高いレベルで第1のバックトラッキング変数を設定し変えるための手段と、第1のバックトラッキング変数が論理的矛盾を生成する時、第1のバックトラッキング変数のレベルよりも高いレベルで第2のバックトラッキング変数を設定し変えるための手段とを形成することを特徴とするコンフィギュレーション可能な評価装置。

IPC (3件)：

G06F 17/50 670 ,  G06F 9/44 550 ,  G06F 17/10

FI (3件)：

G06F 17/50 670 J ,  G06F 9/44 550 C ,  G06F 17/10 Z