Functional-Level Fault Simulation with Concurrent and Parallel Mechanisms Using Object-Oriented VLSI Model

被引:0
|
作者
李威
iuol.cn.net
杨乔林
机构
关键词
Functional-level test; VLSI modeling; concurrent; parallel; test set compaction;
D O I
暂无
中图分类号
TP391.9 [计算机仿真];
学科分类号
080203 ;
摘要
The functional-level test has been proposed as an alternative to reduce the complexity of test when VLSI gets larger and more complicated. It has been successful for circuits such as memories, PLAs and microprocessors. However, the functional-level test for general functional models has seldom been studied. This paper presents an object-oriented VLSI model and a functional-level fault simulation methodology for general functional model. Based on the proposed VLSI model, FFS (Functional-level Fault Simulator) with friendly visual interface has been implemented on Microsoft Windows platform by use of C++. It is an integral part of FMVS (Functional test Modeling and Verification System)-an extended subsystem of TeDS (Test Development System). The goal of FFS is to determine the fault coverage, generate fault dictionary and compact original test set at the function-level. In order to be efficient, FFS uses the concurrent and parallel mechanisms by taking advantage of the object-oriented VLSI model. The object-oriented VLSI model based fault simulation has been validated in the functional-level test by simulation results and the satisfying performance of FFS.
引用
收藏
页码:147 / 160
页数:14
相关论文
共 50 条
  • [32] A GENERAL-MODEL FOR CONCURRENT AND DISTRIBUTED OBJECT-ORIENTED PROGRAMMING
    CAROMEL, D
    SIGPLAN NOTICES, 1989, 24 (04): : 102 - 104
  • [33] A statically verifiable programming model for concurrent object-oriented programs
    DistriNet, Dept. Computer Science, K.U. Leuven, Celestijnenlaan 200A, 3001 Leuven, Belgium
    不详
    Lect. Notes Comput. Sci., 2006, (420-439):
  • [34] Semantics model of the concurrent object-oriented language COOL II
    Zhu, Fu-Xi
    Zhang, Qian
    Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 2001, 22 (12):
  • [35] A statically verifiable programming model for concurrent object-oriented programs
    Jacobs, Bart
    Smans, Jan
    Piessens, Frank
    Schulte, Wolfram
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 420 - 439
  • [36] Verifying atomicity specifications for concurrent object-oriented software using model-checking
    Hatcliff, J
    Dwyer, R
    Dwyer, MB
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2004, 2937 : 175 - 190
  • [37] Formalizing the functional model within object-oriented design
    Wang, EY
    Cheng, BHC
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2000, 10 (01) : 5 - 30
  • [38] DESIGN OF OBJECT-ORIENTED MODEL FOR QUEUING SIMULATION SOFTWARE
    Moiseev, Alexander N.
    Sinyakov, Mihail, V
    VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-UPRAVLENIE VYCHISLITELNAJA TEHNIKA I INFORMATIKA-TOMSK STATE UNIVERSITY JOURNAL OF CONTROL AND COMPUTER SCIENCE, 2010, 10 (01): : 89 - 93
  • [39] Simulation code generation on WWW using object-oriented manufacturing resource model
    Lee, S
    NETWORK INTELLIGENCE: INTERNET-BASED MANUFACTURING, 2000, 4208 : 84 - 95
  • [40] Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programs
    Dwyer, Matthew B.
    Hatcliff, John
    Hoosier, Matthew
    Robby, Venkatesh Ranganath
    Wallentine, Todd
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 73 - 89