@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00183250, author = {土井, 龍太郎 and 橋本, 昌宜}, book = {DAシンポジウム2017論文集}, month = {Aug}, note = {従来 FPGA の性能ボトルネックである SRAM 型スイッチを,不揮発性メモリの一種であるビアスイッチで置換した FPGA に関する研究 ・ 開発が行われている.ビアスイッチ FPGA は縦と横に走る信号配線の交点にビアスイッチを配置したクロスバー回路により配線接続の切り換えを実現する.しかし,スイッチのプログラミングに共用の信号配線を使用するため,回路のプログラミング状態によっては,プログラミング信号が回り込んで意図しないスイッチに与えられるスニークパス問題が生じる.本稿では,FPGA の正常な再構成を阻害するスニークパス問題について,SAT 符号化を利用した数学的な検証に取り組む.回路動作などを論理式で表現し,SAT ソルバにより検証した結果,適切なオペレーション制約下での FPGA 運用によりスニークパス問題が回避できることがわかった.}, pages = {3--8}, publisher = {情報処理学会}, title = {ビアスイッチFPGAにおけるスニークパス問題のSAT符号化を用いた検証}, volume = {2017}, year = {2017} }