75,050 research outputs found
Functional Testing Approaches for "BIFST-able" tlm_fifo
No full textEvolution of Electronic System Level design methodologies, allows a wider use of Transaction-Level Modeling (TLM). TLM is a high-level approach to modeling digital systems that emphasizes on separating communications among modules from the details of functional units. This paper explores different functional testing approaches for the implementation of Built-in Functional Self Test facilities in the TLM primitive channel tlm_fifo. In particular, it focuses on three different test approaches based on a finite state machine model of tlm_fifo, functional fault models, and march tests respectivel
TLM 2.0 simple sockets synthesis to RTL
No full textConvenience sockets are a family of derived sockets provided in utilities namespace of TLM 2.0 library which add additional functionalities to TLM 2.0 sockets. As one of the goals of high level modeling is to part communication from computation, synthesizing communication mechanisms including sockets can be a primary step to synthesize each TLM 2.0 design on RTL. Synthesizing sockets on RTL can provide the designer with the big picture of module's functionality and communication requirements. In this paper, algorithms are proposed to map TLM 2.0 simple sockets down to RTL focusing on TLM 2.0 blocking and non-blocking transport interfaces. The algorithms get TLM 2.0 sockets as an input and generate an intermediate description of sockets in terms of ports. After that, RTL descriptions of the ports are generated using the standard generic payload packet as transaction type. The automation caused by synthesis algorithms in this paper can reduce the simulation speed and the designer's effort
Analysis of System-Failure Rate Caused by Soft-Errors using a UML-Based Systematic Methodology in an SoC
No full textThis paper proposes an analytical method to assess the soft-error rate (SER) in the early stages of a System-on-Chip (SoC) platform-based design methodology. The proposed method gets an executable UML (Unified Modeling Language) model of the SoC and the raw soft- error rate of different parts of the platform as its inputs. Soft-errors on the design are modeled by disturbances on the value of attributes in the classes of the UML model and disturbances on opcodes of software cores. The Dynamic behavior of each core is used to determine the propagation probability of each variable disturbance to the core outputs. Furthermore, the SER and the execution time of each core in the SoC and a Failure Modes and Effects Analysis (FMEA) that determines the severity of each failure mode in the SoC are used to compute the System-Failure Rate (SFR) of the So
Plug & Test at System Level via Testable TLM Primitives
No full textWith the evolution of Electronic System Level (ESL) design methodologies, we are experiencing an extensive use of Transaction-Level Modeling (TLM). TLM is a high-level approach to modeling digital systems where details of the communication among modules are separated from the those of the implementation of functional units. This paper represents a first step toward the automatic insertion of testing capabilities at the transaction level by definition of testable TLM primitives. The use of testable TLM primitives should help designers to easily get testable transaction level descriptions implementing what we call a "Plug & Test" design methodology. The proposed approach is intended to work both with hardware and software implementations. In particular, in this paper we will focus on the design of a testable FIFO communication channel to show how designers are given the freedom of trading-off complexity, testability levels, and cos
The Benefits of Being Economics Professor A (and not Z)
No full textAlphabetic name ordering on multi-authored academic papers, which is the convention in the economics discipline and various other disciplines, is to the advantage of people whose last name initials are placed early in the alphabet. As it turns out, Professor A, who has been a first author more often than Professor Z, will have published more articles and experienced afaster growth rate over the course of her career as a result of reputation and visibility. Moreover, authors know that name ordering matters and indeed take ordering seriously: Several characteristics of an author group composition determine the decision to deviate from the default alphabetic name order to a significant extent.performance measurement, incentives, economists, name ordering
Final word on Jersey Dutch
No full textIn this article, William Z. Shetter compares and contrasts the dialects that developed between different Dutch colonies in the New World. He explores in-depth the nuances of Jersey Dutch, and provides theories to explain how Dutch and colonial languages blended. The article is reprinted from American Speech, December 1958, Volum XXXIII, No. 4
Logarithmic variance profiles and the corresponding f-1 spectra of temperature fluctuations in turbulent Rayleigh-Bénard convection
No full textWe report experimental results for the temperature variance 2(z) and the corresponding frequency spectra P(f) in turbulent Rayleigh-Bénard convection (RBC) in a cylindrical sample of aspect ratioT= D/L = 1:00 (D = 1:12 m is the diameter and L = 1:12 m the height). The measurements were conducted in the Rayleigh-number range 1011 < Ra < 1:35 1014 and Pr ' 0:8. For Ra = 1:35x1014, 2(z) could be described well by a logarithmic dependence on the vertical position z in a range of z 1 < z < z 2 with z 1 ' 70 and z 2 = 0:1L. Here L=(2Nu) is the thickness of a thin thermal sublayer adjacent to the horizontal plate where the heat flux (denoted by the Nusselt number Nu) is carried mostly by thermal diffusion. In the log layer, we found that the temperature spectra had a significant frequency range over which P(f) f with close to 1. As Ra decreased, increased so that the log layer became thinner. At Ra = 2:05 1011, z 2 < z 1 and therefore there was no range for a log layer. Correspondingly, the temperature spectrum near the horizontal plate did not have the f1 scaling form either
Statistics of the subgrid scales after the shock-turbulence interaction
No full textThe interaction of a normal shock with isotropic turbulence (IT) represents a basic problem for studying some of the phenomena associated with high speed flows, such as hypersonic flight, supersonic combustion and Inertial Confinement Fusion (ICF). In general, in practical applications, the shock width is much smaller than the turbulence scales and the upstream turbulent Mach number is modest. In this case, recent high resolution shock-resolved Direct Numerical Simulations (DNS) (Ryu and Livescu, J. Fluid Mech., 756, R1, 2014) show that the interaction can be described by the Linear Interaction Approximation (LIA). By using LIA to alleviate the need to solve the shock, DNS post-shock data can be generated at much higher Reynolds numbers than previously possible. Here, such results with Taylor Reynolds number around are used to investigate the properties of the subgrid scales (SGS). In particular, it is shown that the shock interaction decreases the asymmetry of the SGS dissipation PDF as the shock Mach number increases, with a significant enhancement in size of the regions and magnitude of backscatter
Transition to turbulence in a qblique shock-wave/boundary-layer interaction at M=15
No full textDirect numerical simulations are carried out for different forcing techniques to trigger transition during the interaction between an oblique shock-wave and a laminar boundary-layer at M = 1.5. Three forcing methods are used: a) forcing of oblique unstable modes, whose shape and behaviour are determined by the local linear stability theory, b) broadband free-stream acoustic disturbances, and c) a cold plasma flow control device. While the oblique-mode breakdown is dominant for low-amplitude forcing, long streaky structures drive the transition process in a high-amplitude disturbance environment. LES are also performed on the experimental setup by the Institute of Theoretical and Applied Mechanics (ITAM) from Novosibirsk State University with cold plasma actuation. As well as the disturbance type, the effect of Reynolds number and forcing amplitude will be investigated
- …
