Behavioral HDL descriptions are commonly used to capture the high-level functionality of a hardware circuit for simulation and synthesis. The manual process of creating a behavioral description is error prone, so sign...
详细信息
Behavioral HDL descriptions are commonly used to capture the high-level functionality of a hardware circuit for simulation and synthesis. The manual process of creating a behavioral description is error prone, so significant effort must be made to verify the correctness of behavioral descriptions. Simulation-based validation and formal verification are both techniques used to verify correctness. We investigate validation because formal verification techniques are frequently intractable for large designs. The first step toward a behavioral validation technique is the development of a validation fault coverage metric which can be used to evaluate the likelihood of design defect detection with a given test sequence. We propose a validation fault coverage metric which is based on an analysis of the control dataflow description associated with the behavior. The proposed metric identifies a subset of paths through the dataflow which must be traversed during testing to detect faults. The proposed metric is a tractable compromise between the statement coverage metric which requires only that each statement be executed, and the path coverage metric which requires that all dataflow paths be executed. dataflow paths are identified based on the relative code locations of definitions and uses of variables which may be assigned incorrectly due to a design error. We propose an efficient method to compute all dataflow paths which must be traversed, and we generate coverage results for several benchmark VHDL circuits for comparison to other approaches.
Real-time 3D content distribution over a network requires facing several challenges, most notably the handling of the large amount of data usually associated with 3D meshes. The scope of the present paper falls within...
详细信息
ISBN:
(纸本)9781424462377;9781424462582
Real-time 3D content distribution over a network requires facing several challenges, most notably the handling of the large amount of data usually associated with 3D meshes. The scope of the present paper falls within the well-established context of real-time capture and streaming of OpenGL command sequences, focusing in particular on data compression schemes. However, we advance beyond the state-of-the-art improving over previous attempts of ¿in-frame¿ geometric compression on 3D structures inferred from generic OpenGL command sequences and adding ¿inter-frame¿ redundancy exploitation of the traffic generated by the typical architecture of interactive applications.
Transformation techniques are usually applied to get optimal execution rates in parallel and/or pipeline systems. The retiming technique is a common and valuable tool in one-dimensional problems, represented by data f...
详细信息
Transformation techniques are usually applied to get optimal execution rates in parallel and/or pipeline systems. The retiming technique is a common and valuable tool in one-dimensional problems, represented by dataflow graphs (DFGs) such as digital signal processing (DSP) filters, which can maximize the parallelism of a loop body represented by a DFG. Since most scientific or DSP applications are recursive or iterative, to increase the parallelism of the loop body can substantially decrease the overall computation time. This paper develops a novel multi-dimensional retiming technique that considers the final schedule as part of the process. The description and the correctness of our algorithm are presented.< >
The availability of multiprocessor systems has recently generated an increased interest in the design and implementation of parallel compilers. The authors present a parallel algorithm for performing dataflow analysi...
详细信息
The availability of multiprocessor systems has recently generated an increased interest in the design and implementation of parallel compilers. The authors present a parallel algorithm for performing dataflow analysis which is an important component of any compiler. dataflow information is used in various phases of compilation including code generation, code scheduling, traditional optimizing transformations and parallelizing transformations. A single program compilation may involve the computation of the solution to several dataflow problems and possibly solutions to the same problem multiple times at different points in the language translation process. Thus, for large programs the dataflow analysis performed during compilation can be time-consuming. dataflow analysis is also used in other program tools such as editors, testers, and debuggers.< >
The algorithm-to-architecture mapping model (ATAMM) is a new marked graph (a class of Petri net) model from which the rules for data and control flow in a homogeneous, multicomputer, data-flow architecture may be defi...
详细信息
The algorithm-to-architecture mapping model (ATAMM) is a new marked graph (a class of Petri net) model from which the rules for data and control flow in a homogeneous, multicomputer, data-flow architecture may be defined. This study is concerned with performance modeling for periodic execution of large-grain, decision-free algorithms in such an ATAMM-defined architecture. Major applications are expected to be real-time implementation of control and signal processing algorithms where performance is required to be highly predictable. The computing environment, problem domain, and algorithm execution pattern are described. Performance measures of computing speed and throughout capacity are defined. Performance bounds are established. Resource (computing element) needs are determined for periodic execution of algorithms.< >
An exquisite technique, using both dual GPS carrier-phase receivers' measurements and target image sequence, is proposed to attain the stationary target location on the ground as well as the aircraft heading. Dire...
详细信息
An exquisite technique, using both dual GPS carrier-phase receivers' measurements and target image sequence, is proposed to attain the stationary target location on the ground as well as the aircraft heading. Direct solving of integer ambiguity in carrier-phase measurements is avoided, while the differences of the integer ambiguity numbers are incorporated in the states of the proposed statistical filter. The extended Kalman filter (EKF) is utilized to obtain the World Geodetic System-1984 (WGS-84) coordinate of the ground target without using any computation-intensive technique such as optical flow and measurement data error sensitive one like least-squares. A generic carrier-phase data processing technique is employed to calculate the attitude of the aircraft. The proposed filter's performance is verified by utilizing actual GPS carrier-phase measurement data.
Understanding software documents requires the logical structure analysis of diagrammatic notations, such as dataflow diagrams. A dataflow diagram (DFD) represents the functional dependencies within a system: it show...
详细信息
Understanding software documents requires the logical structure analysis of diagrammatic notations, such as dataflow diagrams. A dataflow diagram (DFD) represents the functional dependencies within a system: it shows how output values in a computation are derived from input values. We show how the logical structure of a DFD can be described using the formalism of Calculus of Communicating Systems (CCS). We present the process of generating the logical structure, and show how the formalism is used for deep understanding of DFDs. Using the Edinburgh Concurrency Workbench (CWB), we can use the formal description of a DFD to reason about the equivalence of two DFDs, and to simulate the behavior of a DFD.
The purpose of the Cable data Network for the MX-Missile System is to provide secure, reliable, pre-attack data communications for the MX-Wing using a fiber optic cable network. Various network architectures were cons...
详细信息
The purpose of the Cable data Network for the MX-Missile System is to provide secure, reliable, pre-attack data communications for the MX-Wing using a fiber optic cable network. Various network architectures were considered; of these, only four designs met all the system requirements. This paper discusses the studies undertaken to determine the network design which performed best in terms of preservation of location uncertainty, operational simplicity, cost-effectiveness and performance. A computerized simulation of the data communications flow within the MX-Wing was also undertaken, and it provided network performance predictions which aided in the decision to adopt one particular network design as the best alternative to implement the cable data network.
Parallel computer architectures and the dataflow computation and architecture are presented. data-flow networks and Petri nets are used to illustrate data-flow computation. These models express the data dependency be...
详细信息
Parallel computer architectures and the dataflow computation and architecture are presented. data-flow networks and Petri nets are used to illustrate data-flow computation. These models express the data dependency between operations of a given system. The HERMES system is presented as an illustrative dataflow system. This system is chosen since it has the following significant features: (1) parallelism of operation; (2) pipeline operation for a single image along the levels of the HERMES hierarchy; (3) systolic modes of operation; and (4) multiprocessor configuration. The Petri-net model for this system is presented to illustrate the usefulness of this mathematical tool. Petri-net models are convenient for the representation of semaphores and critical sections, and are useful for locating deadlocks.< >
暂无评论