講演抄録/キーワード |
講演名 |
2017-03-03 13:00
エラートレラントアプリケーションのための論理回路の許容関数を用いた簡単化手法について ○岩崎真弥・市原英行・岩垣 剛・井上智生(広島市大) VLD2016-128 |
抄録 |
(和) |
エラートレラントアプリケーションとは,画像処理や機械学習のように出力の多少の誤差が許容されているアプリケーションである.このようなアプリケーションで使用することを目的とした論理回路では,アプリケーションの許容性を利用して論理を簡単化することができる.本研究では,許容関数を用いたエラートレラントアプリケーションのための論理回路の簡単化問題に着目する.この簡単化問題を効率的に解くために許容関数をBDD(Binary Decision Diagram,二分決定図)で表現し,BDDの特徴を利用した効率的なヒューリスティックアルゴリズムを提案する.実験では,本最適化問題を整数計画(ILP,Integer Linear Programming)問題に変換し,ILPソルバで解く方法も示し,提案手法と比較する.この比較により,提案アルゴリズムは実用的な時間で最適解または準最適解を求められることを示す. |
(英) |
Error-tolerant application, such as image processing, machine learning and so on, is application that can tolerate specific errors, whose frequency and/or severity are within certain limits. This error tolerability is greatly instrumental in simplifying logic circuits for such application. In this paper, we focus on logic simplification problem using permissible functions for error-tolerant application. To solve this problem efficiently, we represent permissible functions with BDDs (Binary Decision Diagrams) and propose heuristic algorithms for solving this problem by utilizing characteristics of the BDD representation. In experiment, we also present a scheme to solve this problem with ILP (Integer Linear Programming) solver and compare the obtained optimum solutions with our results. Experimental results show that the proposed algorithm can derive optimum or quasi-optimal solutions efficiently. |
キーワード |
(和) |
トランスダクション法 / 誤り率 / ドントケア / 等価性判定 / 包含性判定 / / / |
(英) |
transduction method / error rate / don't-care / equivalence checking / inclusion checking / / / |
文献情報 |
信学技報, vol. 116, no. 478, VLD2016-128, pp. 145-150, 2017年3月. |
資料番号 |
VLD2016-128 |
発行日 |
2017-02-22 (VLD) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
VLD2016-128 |