Klenke et al., 1993 - Google Patents
Workstation based parallel test generationKlenke et al., 1993
- Document ID
- 12104258528220394177
- Author
- Klenke R
- Kaufman L
- Aylor J
- Waxman R
- Narayan P
- Publication year
- Publication venue
- Proceedings of IEEE International Test Conference-(ITC)
External Links
Snippet
Generation of test vectors for the VLSI devices used in contemporary digital system is becoming much more difficult as these devices increase in size. Automatic Test Pattern Generation (ATPG) techniques are commonly used to generate these tests. Since ATPG is …
- 238000000034 method 0 abstract description 51
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for programme control, e.g. control unit
- G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
- G06F9/44—Arrangements for executing specific programmes
- G06F9/4421—Execution paradigms
- G06F9/4428—Object-oriented
- G06F9/443—Object-oriented method invocation or resolution
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for programme control, e.g. control unit
- G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
- G06F9/46—Multiprogramming arrangements
- G06F9/48—Programme initiating; Programme switching, e.g. by interrupt
- G06F9/4806—Task transfer initiation or dispatching
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for programme control, e.g. control unit
- G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
- G06F9/44—Arrangements for executing specific programmes
- G06F9/455—Emulation; Software simulation, i.e. virtualisation or emulation of application or operating system execution engines
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for programme control, e.g. control unit
- G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
- G06F9/46—Multiprogramming arrangements
- G06F9/50—Allocation of resources, e.g. of the central processing unit [CPU]
- G06F9/5061—Partitioning or combining of resources
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/50—Computer-aided design
- G06F17/5009—Computer-aided design using simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformations of program code
- G06F8/41—Compilation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F7/00—Methods or arrangements for processing data by operating upon the order or content of the data handled
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F2207/00—Indexing scheme relating to methods or arrangements for processing data by operating upon the order or content of the data handled
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Gulati et al. | Towards acceleration of fault simulation using graphics processing units | |
| Kuehlmann et al. | Circuit-based Boolean reasoning | |
| Wang et al. | Lecsim: A levelized event driven compiled logic simulation | |
| US5550760A (en) | Simulation of circuits | |
| JPH0844590A (en) | Apparatus and method for selection test of software system | |
| Klenke et al. | Workstation based parallel test generation | |
| Li et al. | Dvs: An object-oriented framework for distributed verilog simulation | |
| Plevyak et al. | Type directed cloning for object-oriented programs | |
| Kravitz et al. | Massively parallel switch-level simulation: A feasibility study | |
| Wolf et al. | An analysis of fault partitioned parallel test generation | |
| Unger | Programming languages for computer system simulation | |
| Gustafson et al. | A radar simulation program for a 1024-processor hypercube | |
| Krishnaswamy et al. | Actor based parallel VHDL simulation using Time Warp | |
| Bündgen et al. | A fine-grained parallel completion procedure | |
| Raghavan et al. | Logic simulation on vector processors | |
| Joubert et al. | Distributed local resolution of boolean equation systems | |
| Gulati et al. | Fault table computation on GPUs | |
| Wiedmann | A performance comparison between an APL interpreter and compiler | |
| Wiedmann | Steps toward an APL compiler | |
| Leiserson et al. | A minicourse on multithreaded programming | |
| Thomé et al. | Exploring load balancing in a scientific SPMD parallel application | |
| Kormicki et al. | Parallel logic simulation on a network of workstations using parallel virtual machine | |
| Ching et al. | An empirical study of the performance of the APL370 compiler | |
| Felea et al. | Adaj: A java distributed environment for easy programming design and efficient execution | |
| Dorochevsky et al. | Constraint handling, garbage collection and execution model issues in ElipSys |