• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

BASIC STUDIES ON VLSISYNTHESIS FOR TESTABILITY FROM HIGHER LEVEL

Research Project

Project/Area Number 09480054
Research Category

Grant-in-Aid for Scientific Research (B).

Allocation TypeSingle-year Grants
Section一般
Research Field 計算機科学
Research InstitutionNARA INSTITUTE OF SCIENCE AND TECHNOLOGY

Principal Investigator

FUJIWARA Hideo  NARA INSTITUTE OF SCIENCE AND TECHNOLOGY, GRAD.SCHOOL OF INFORMATION SCIENCE, PROFESSOR, 情報科学研究科, 教授 (70029346)

Co-Investigator(Kenkyū-buntansha) 井上 美智子  奈良先端科学技術大学院大学, 情報科学研究科, 助教授 (30273840)
INOUE Tomoo  HIROSHIMA CITY UNIVERSITY, GRAD.SCHOOL OF INFORMATION SCIENCES, ASSOCIATE PROFESSOR, 情報科学部, 助教授 (40252829)
MASUZAWA Toshimitsu  OSAKA UNIVERSITY, GRAD.SCHOOL OF ENGINEERING SCIENCE, PROFESSOR, 大学院・基礎工学研究科, 教授 (50199692)
Project Period (FY) 1997 – 2000
Project Status Completed (Fiscal Year 2000)
Budget Amount *help
¥13,100,000 (Direct Cost: ¥13,100,000)
Fiscal Year 2000: ¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 1999: ¥2,800,000 (Direct Cost: ¥2,800,000)
Fiscal Year 1998: ¥2,800,000 (Direct Cost: ¥2,800,000)
Fiscal Year 1997: ¥5,500,000 (Direct Cost: ¥5,500,000)
KeywordsDESIGN FOR TESTABILITY / SYNTHESIS FOR TESTABILITY / HIGHLEVEL SYNTHESIS / VLSITEST / DATA FLOW GRAPH / REGISTER TRANSFERLEVEL / DATA PATH / CONTROLLER / テスト容易化合物 / スキャン設計
Research Abstract

Consideration to testability from the early stage in the design process is one of the most effective ways to reduce testing cost. In this study, we proposed several approaches to high-level test synthesis and register-transfer level (RTL) design, especially for targeting non-scan design. We presented high-level synthesis methods that consider testability of generated RTL data paths, as well as their area and performance. We also presented several non-scan design-for-testability (DFT) methods at RTL to achieve complete (100%) fault efficiency. Our experimental results using benchmarks and real designs showed the effectiveness of our proposed methods. The research results are as follows :
(1) A HIGH-LEVEL SYNTHESIS METHOD FOR WEAKLY TESTABLE DATA PATHS
(2) A NON-SCAN DFT METHOD FOR DATA PATHS TO ACHIEVE COMPLETE FULT EFFICIENCY
(3) A NON-SCAN DFT METHOD FOR CONTROLERS TO ACHIEVE COMPLETE FULT EFFICIENCY
(4) A NON-SCAN DFT METHOD AT REGISTER-TRANSFER LEVEL TO ACHIEVE COMPLETE FAULT EFFICIENCY
(5) A PARTIAL SCAN DESIGN FOR TESTABILTY METHOD BASED ON ACYCLIC STRUCTURE
(6) A HIGH-LEVEL SYNTHESIS APPROACH TO PARTIAL SCAN DESIGN BASED ON ACYCLIC STRUCTURE
(7) AN APPROACH TO BIST FOR RTL DATA PATHS BASED ON SINGLE-CONTROL TESTABILITY

Report

(5 results)
  • 2000 Annual Research Report   Final Research Report Summary
  • 1999 Annual Research Report
  • 1998 Annual Research Report
  • 1997 Annual Research Report
  • Research Products

    (51 results)

All Other

All Publications (51 results)

  • [Publications] 井上美智子: "An Approach to Test Synthesis from Higher Level"INTEGRATION the VLSI journal. Vol.26. 101-116 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 井上美智子: "High-Level Synthesis for Weakly Testable Data Paths"IEICE Trans. on Information and Systems. E81-D. 645-653 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 高崎智也: "内部平衡構造に基づく部分スキャン設計法の考察"電子情報通信学会論文誌(DI). J81-D-I. 318-327 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 大竹哲史: "完全故障検出効率を保証するコントローラの非スキャンテスト容易化設計法"電子情報通信学会論文誌(DI). J81-D-I. 1259-1270 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 東村剛嗣: "弱可検査性のための設計目標抽出を利用したデータパス高位合成"電子情報通信学会論文誌(DI). J82-D-I. 401-409 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 和田弘樹: "完全故障検出効率を保証するデータパスの非スキャンテスト容易化設計法"電子情報通信学会論文誌(DI). J82-D-I. 843-851 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 高崎智也: "無閉路部分スキャン設計に基づくデータパスのテスト容易化高位合成におけるバインディング手法"電子情報通信学会論文誌(DI). J83-D-I. 282-292 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 藤原秀雄: "A new class of sequential circuits with combinational test generation complexity"IEEE Trans. on Computers. Vol.49. 895-905 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 佐野ちいほ: "ホールド機能を考慮した順序回路の部分スキャン設計法"電子情報通信学会論文誌(DI). J83-D-I. 981-990 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 大竹哲史: "A non-scan approach to DFT for Controllers Achieving 100% Fault Efficiency"Journal of Electronic Testing : Theory and Applications. Vol.16. 553-566 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 井筒稔: "レジスタ転送レベルデータパスの単一制御可検査性に基づく組込み自己テスト容易化設計法"電子情報通信学会論文誌(DI). J84-D-I. 69-77 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 永井慎太郎: "固定制御可検査性に基づくRTL回路の非スキャンテスト容易化設計法"電子情報通信学会論文誌(DI). J84-D-I(掲載予定). (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 和田弘樹: "演算器の強可検査性を保証するテスト容易化高位合成,"電子情報通信学会論文誌(DI). J84-D-I(掲載予定). (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] M.Inoue and H.Fujiwara: "An Approach to Test Synthesis from Higher Level"INTEGRATION, the VLSI journal. 26. 101-116 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] M.Inoue, K.Noda, T.Higashimura, T.Masuzawa and H.Fujiwara: "High-Level Synthesis for Weakly Testable Data Paths"IEICE Trans.Inf.& Syst.. Vol.E81-D, No.7. 645-653 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] T.Takasaki, T.Inoue and H.Fujiwara: ""Partial Scan Design Methods Based on Internally Balanced Structure", (in Japanese)"Trans.of IEICE (DI). Vol.J81-D-I, No.3. 318-327 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] T.Ohtake, T.Masuzawa and H.Fujiwara: ""A Non-Scan DFT Method for Controllers To Provide Complete Fault Efficiency", (in Japanese)"Trans.of IBICE (DI). Vol.J81-D-I, No.12. 1259-1270 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] T.Higashimura, M.Inoue and H.Fujiwara: ""High-Level Synthesis for Weakly Testable Data Paths Using Design Objective Extraction", (in Japanese)"Trans.of IEICE (DI). Vol.J82-D-I, No.2. 401-409 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] H.Wada, T.Masuzawa, K.K.Saluja and H.Fujiwara: ""A Non-Scan DFT Method for Data Paths to Provide Complete Fault Efficiency", (in Japanese)"Trans.of IEICE (DI). Vol.J82-D-I, No. 7. 843-851 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] T.Takasaki, T.Inoue and H.Fujiwara: ""A High-Level Synthesis Approach to Partial Scan Design for Testable Data Paths Based on Acyclic Structure", (in Japanese)"Trans.of IEICE (DI). Vol.J83-D-I, No.2. 282-292 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] H.Fujiwara: "Anew class of sequential circuits with combinational test generation complexity"IEEE Trans.on Comput.. Vol.49, No.9. 895-905 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] C.Sano, T.Mihara, T.Inoue, D.K.Das and H.Fujiwara: ""A partial scan design method for sequential circuits with hold registers, " (in Japanese)"Trans.of IEICE (DI). Vol.J83-D-I, No.9. 981-990 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] S.Ohtake, T.Masuzawa and H.Fujiwara: "A non-scan approach to DFT for Controllers Achieving 100% Fault Efficiency"Journal of Electronic Testing : Theory and Applications (JETTA). Vol.16, No.5. 553-566 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] M.Izutsu, H.Wada, T.Masuzawa, and H.Fujiwara: ""A DFT Method for BIST of RTL Data Paths Based on Single-Control Testability, " (in Japanese)."Trans.of IEICE. Vol.J84-D-I, No.1. 69-77 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] S.Nagai, H.Wada, S.Ohtake and H.Fujiwara: ""A non-scan DFT method for RTL circuits based on fix-control testability, " (in Japanese)."Trans.of IEICE (DI). (to appear). (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] H.Wada, T.Masuzawa, and H.Fujiwara: ""High Level Synthesis for Strong Testability of Operational Modules, " (in Japanese)."Trans.of IEICE (DI). (to appear). (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 藤原秀雄: "A new class of sequential circuits with combinational test generation complexity"IEEE Trans.on Computers. Vol.49,No.9. 895-905 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 佐野ちいほ: "ホールド機能を考慮した順序回路の部分スキャン設計法"電子情報通信学会論文誌D-I. Vol.Vol.J83,No.9. 981-990 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 大竹哲史: "A non-scan approach to DFT for Controllers Achieving 100% Fault Efficiency"Journal of Electronic Testing : Theory and Applications (JETTA). Vol.16,No.5. 553-566 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 井上智生: "Test generation for acyclic sequential circuits with hold registers"Proc.International Conference on Computer-Aided-Design. 550-556 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 井上美智子: "A Class of Sequential Circuits with Combinational Test Generation Complexity under Single-Fault Assumption"Proceedings of the Ninth Asian Test Symposium. 229-234 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 増澤利光: "Single-Control Testablity of RTL Data Paths for BIST"Proceedings of the Ninth Asian Test Symposium. 210-215 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 和田弘樹: "演算器の強可検査性を保証するテスト容易化高位合成"電子情報通信学会論文誌(DI). Vol.J84-D-I. (2001)

    • Related Report
      2000 Annual Research Report
  • [Publications] 和田弘樹: "完全故障検出効率を保証するデータパスの非スキャンテスト容易化設計法"電子情報通信学会論文誌 D-1. J82-D-I,7. 843-851 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 高崎智也: "無閉路部分スキャン設計に基づくデータパスのテスト容易化高位合成"電子情報通信学会論文誌 D-1. J83-D-I,2. (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] 高崎智也: "A High-Level Synthesis Approach to Partial Scan Sesign Based on Acyclid stsuetuie"Proc,IEEE 8th Asian Test Symposium. 309-314 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 大竹哲史: "A Method of Test Generation for Weakly Testable Data Paths Using Test Knowledye Extrcted from RTL Description"Proc,IEEE 8th Asian Test Symposium. 5-12 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] Debesh Kumar DAS: "New DFT Techmigues of Non-Scan Seyuoutial Circuits with Complete Fauet Efficiency"Proc,IEEE 8th Asian Test Symposium. 263-268 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 和田弘樹: "Design for Strong Testability of RTL Data Paths to Procide Complete Fault Efficiency"Proc,13th Int.Conf.on VLSI Pesign. 300-305 (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] 大竹哲史: "Porc.Asia and South Pacific Desigu Autowation 2000"A Non-Scan DFT Method at Register Tramsfer Level to Achieve Complete Fault Efficieucy. 6 (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] 井上美智子: "An Approach to Test Synthesis from Higer Level" INTEGRATION, the VLSI journal. 26. 101-116 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 井上美智子: "High-Level Siynthosis for Weakly Testable Data Paths" IEICE Trans.Inf.& Syst.E81-D,7. 645-653 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 大竹 哲史: "完全故障検出効率を保証するコントローラの非スキャンテスト容易化設計法" 電子情報通信学会論文誌D-I. J81-D-I,12. 1259-1270 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] Debesh K.Das: "New DFT Techniquesof Non-Sean Sequential Circuits with Couplete Fault Efficiency" 電子情報通信学会,信学技報. FTS98-115. 73-80 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 高崎 智也: "無閉路部分スキャン設計を指向したデータパスのテスト容易化高位合成" 電子情報通信学会,信学技報. FTS98-114. 65-72 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 大竹 哲史: "A non-scan DFT method for controllers to achieve complete fault efficiency" IEEE the 7th Asian Test Symposium. 204-211 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 井上美智子: "IEEE the 7th Asian Test Symposium" A high-level synthesis method for weakly testable data paths, 40-45 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 和田 弘樹: "完全故障検出効率を保証するレジスタ転送レベルデータパスの非スキャンテスト容易化設計法" 電子情報通信学会,信学技報. VLD97-81 FTS97-44. 15-22 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 東村 剛嗣: "弱可検査性のための設計目標抽出を利用したデータパス高位合成" 電子情報通信学会,信学技報. FTS97-64. 9-16 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 高崎 智也: "Partial Scan Design Methods Based on Internally Balanced Structure" Asia and South Pacific Design Automation Conference 1998. Feb. (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] 井上 美智子: "High-Level Synthesis for Weakly Testable Data Paths" IEICE Trans.on Information & Systems. Vd.E81-D No.7. (1998)

    • Related Report
      1997 Annual Research Report

URL: 

Published: 1997-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi