• 検索結果がありません。

ftc20110121 0 最近の更新履歴 Hideo Fujiwara

N/A
N/A
Protected

Academic year: 2018

シェア "ftc20110121 0 最近の更新履歴 Hideo Fujiwara"

Copied!
1
0
0

読み込み中.... (全文を見る)

全文

(1)

第64回 FTC 研究会(2011年1月20日 22日)

テスト生成アルゴリズムとベンチマークの歴史

半世紀の歩み

藤原 秀雄

奈良先端科学技術大学院大学 情報科学研究科 〒630-0192 生駒市高山町 8916-5 E-mail: fujiwara@is.naist.jp

あ ら ま し R.D.Eldredがテスト生成に関する世界で最初の論文を1959年のJournal

of ACMに発表してからちょうど半世紀が過ぎました。 その間、数多くの優れたテスト

生成アルゴリズムが研究開発され、 今日の半導体産業を支える多くの優れたATPGツー

ルに至っています。 本講演では、テスト生成アルゴリズムの歴史を振り返り、個性豊 かなアルゴリズムが次々と研究開発されて来た半世紀の歩みを紹介します。 また、そ れらの活発な研究の起爆剤となったISCAS85, ISCAS89, ITC99のベンチマークがどのよ うに作られ、多くの研究者に役立って来たか、その歴史についても紹介します。

History of Test Generation Algorithms and Benchmarks

– Half a Century of the Progress –

Hideo FUJIWARA

Graduate School of Information Science, Nara Institute of Science and Technology 8916-5 Takayama, Ikoma, Nara, 630-0192 Japan

E-mail: fujiwara@is.naist.jp

Abstract Half a century has passed since R. D. Eldred published the first paper on test generation in Journal of ACM in 1959. Until now, many excellent algorithms for test generation have been reported and they have come to many excellent ATPG tools supporting today’s semiconductor industries. In this talk, looking back on the long history of test generation algorithms, we introduce those excellent and unique ATPG algorithms that appeared and contributed in the progress of half a century. We also introduce the history of benchmarks of ISCAS85, ISCAS89, and ITC99 that became the trigger of those active and animated research and development.

参照

関連したドキュメント

We start with some introductory materials to the over-relaxed η- proximal point algorithm based on the notion of maximal η-monotonicity, and recall some investigations on

Restricting the input to n-vertex cubic graphs of girth at least 5, we apply a modified algorithm that is based on selecting vertices of minimum degree, using operations that remove

The general context for a symmetry- based analysis of pattern formation in equivariant dynamical systems is sym- metric (or equivariant) bifurcation theory.. This is surveyed

(at least a proof can be reconstructed from it, after correcting a number of misprinted formulae). Other authors have subsequently given different proofs, see for instance [Kn1,

this result is re-derived in novel fashion, starting from a method proposed by F´ edou and Garcia, in [17], for some algebraic succession rules, and extending it to the present case

(3) We present a JavaScript library 2 , that contains all the al- gorithms described in this paper, and a Web platform, AGORA 3 (Automatic Graph Overlap Removal Algorithms), in

From the delayed cosine and sine type matrix function on the fractal set R αn (0 < α ≤ 1) corresponding to second order inhomogeneous delay differential equations with

In Section 3, we employ the method of upper and lower solutions and obtain the uniqueness of solutions of a two-point Dirichlet fractional boundary value problem for a