文献

J-GLOBAL ID：202002235224755003   整理番号：20A1942182

FALベースの高再利用性と自動検証プラットフォーム【JST・京大機械翻訳】

FAL-based High Reusability and Automated Verification Platform

著者 (3件)： Zhang Tingrong (College of Computer, National University of Defense Technology, China) ,  Chen Shuming (College of Computer, National University of Defense Technology, China) ,  Lv Zhao (College of Computer, National University of Defense Technology, China)
資料名： ACM Proceedings  (ACM Proceedings)
号： CSAE ’18  ページ： 1-5  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 統合回路の複雑性と統合の連続的改良によって,検証作業はますます時間がかかる。試験ベクトルの生成と検証プラットフォームの自動化と再利用性は,検証効率を改善する主要因である。本論文では,FALMTと呼ぶモデリングツールを提案した。FALMTはFALに基づく設計の関数点をモデル化するだけではなく,また,高再利用性検証プラットフォームを自動的に作り出す機能を完了することができた。この方法で,試験ベクトルと検証プラットフォームの生成は,あまりにも多くの人間介入を必要としない。実験は,提案した方法論が検証サイクルを短縮し,検証プロセスをスピードアップし,時間を46.6%短縮できることを示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *ベクトル ,  自動化
準シソーラス用語： 複雑性 , 【Automatic Indexing@JST】

著者キーワード (5件)： FAL ,  セミフォーマル ,  自動化 ,  再使用 ,  検証プラットフォーム

分類 (2件)： 電装品  (QG03070C) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (3件)： 再利用性 ,  検証 ,  プラットフォーム