CSE
CSE
CSE CSE

CSE Technical Reports Sorted by Technical Report Number


TR Number Title Authors Date Pages

CSE-TR-152-93 Hardware Support for Hiding Cache Latency Golden and Mudge Feb, 93 22

CSE-TR-153-93 A Single Symbolic Algorithm for Incremental Concept Acquisition Miller and Laird Jan, 93 7

CSE-TR-154-93 Real-Time Fault-Tolerant Communication in Computer Networks Zheng Feb, 93 102

CSE-TR-155-93 MDARTS: A Multiprocessor Database Architecture for Real-Time Systems Lortz and Shin Mar, 93 19

CSE-TR-157-93 Modeling Concept Acquisition in the Context of a Unified THeory of Cognition Miller Jun, 93 71

CSE-TR-159-93 Analysis of Memory Latency Factors and their Impact on KSR1 MPP Performance Kahhaleh Apr, 93 17

CSE-TR-160-93 Identification of Critical paths in Circuit with Level-Sensitive Latches Burks Sakallah and Mudge Apr, 93 37

CSE-TR-161-93 Surface Fitting for Industrial Applications Schunck Rogers and Sinha Apr, 93 29

CSE-TR-162-93 The Evolving Algebra Semantics of COBOL Vale Apr, 93 29

CSE-TR-163-93 An Information Model for Genome Map Representation and Assembly Lee Rundensteiner Thomas and Lafortune May, 93 25

CSE-TR-164-93 Modeling and Approaching the Deliverable Performance Capability of the KSR1 Processor Azeem Jun, 93 41

CSE-TR-165-93 First-Order Logic Models for Real-Time Discrete-Event Systems Naylor May, 93 45

CSE-TR-166-93 Min-Max Linear Programming Burks and Sakallah Aug, 93 16

CSE-TR-167-93 A Scalable Board-Level-Timing Verification Methodology Daga and Birmingham Aug, 93 16

CSE-TR-168-93 VITCh: A Methodology for the Timing Verification of Board-Level Circuits Daga and Birmingham Aug, 93 12

CSE-TR-169-93 Cyclic Job Shop Scheduling Using Collision Vectors Chaar and Davidson Aug, 93 62

CSE-TR-170-93 A Universal RPC Toolkit Huang and Ravishankar Aug, 93 24

CSE-TR-171-93 Cicero: A Protocol Construction Language Huang and Ravishankar Aug, 93 42

CSE-TR-172-93 Task Allocation and Redistribution in Distributed Real-Time Systems Hou Aug, 93 222

CSE-TR-173-93 Multi-Configuration Simulation Algorithms for the Evaluation of Computer Architecture Designs Sugumar and Abraham Aug, 93 143

CSE-TR-174-93 Automated Design for Concurrent Engineering Darr and Birmingham Sep, 93 20

CSE-TR-175-93 CIRCA: The Coopeartive Intelligent Real-Time Control Architecture Musliner Sep, 93 170

CSE-TR-176-93 Semaphore Queue Priority Assignment for Real-Time Multiprocessor Synchronization Lortz and Shin Sep, 93 23

CSE-TR-177-93 Tailoring Recursion for Complexity Gradel and Gurevich Sep, 93 19

CSE-TR-178-93 Search-Space Pruning Heuristics for Path Sensitization in Test Pattern Generation Silva and Sakallah Oct, 93 17
A powerful combinational path sensitization engine is required for the efficient implementation of tools for test pattern generation, timing analysis, and delay-fault testing. Path sensitization can be posed as a search, in the n-dimensional Boolean space, for a consistent assignment of logic values to the circuit nodes which also satisfies a given condition. While the conditions for path sensitization are different for different applications, the search mechanism need not be. In this paper we propose and demonstrate the effectiveness of several new deterministic techniques for search-space pruning for test pattern generation. These techniques are based on a dynamic analysis of the search process and can be viewed as extensions of methods that were introduced in FAN and SOCRATES. In particular, we present linear-time algorithms for dynamically identifying unique sensitization points and for dynamically maintaining reduced head line sets. In addition, we present two powerful mechanisms that drastically reduce the number of backtracks: failure-driven assertions and dependency-directed backtracking. Both mechanisms can be viewed as a form of learning while searching and have analogs in other application domains. These search pruning methods have been implemented in a generic path sensitization engine called LEAP. A test pattern generator, TG-LEAP, that uses this engine was also developed. We present experimental results that compare the effectiveness of our proposed search pruning strategies to those of PODEM, FAN, and SOCRATES. In particular, we show that LEAP is very efficient in identifying redundant faults and in generating tests for difficult faults.

CSE-TR-179-93 The Minimization and Decomposition of Interface State Machines Daga and Birmingham Oct, 93 14

CSE-TR-180-93 SPIDER: Flexible and Efficient Communication Support for Point-to-Point Distributed Systems Dolter Daniel Mehra Rexford Feng and Shin Oct, 93 14

CSE-TR-181-93 Striping in a RAID Level 5 Disk Array Chen and Lee Oct, 93 15

CSE-TR-182-93 Two-Level Adaptive Branch Prediction and Instruction Fetch Mechanisms for High Performance Superscalar Processors Yeh Oct, 93 101

CSE-TR-183-93 Aggressive Execution Engines for Surpassing Single Basic Block Execution Butler Oct, 93 95

CSE-TR-184-93 Optimal Allocation of On-Chip Memory for Multiple-API Operating Systems Nagle Uhlig Mudge and Sechrest Nov, 93 22

CSE-TR-185-93 Kernel-Based Memory Simulation Nagle Uhlig Mudge and Sechrest Nov, 93 21

CSE-TR-190-93 The Semantics of the C++ Programming Language Wallace Nov, 93 35

CSE-TR-191-93 Implementation Experience with Building an Object-Oriented View Management System Kuno and Rundensteiner Aug, 93 18

CSE-TR-192-93 DOCTOR: An IntegrateD SOftware Fault InjeCTiOn EnviRonment Han Rosenberg and Shin Dec, 93 27

Technical Reports Page