Test Generation for Very High-Level Design Language (VHDL) Specifications Used in Avionics

2002 ◽  
Author(s):  
Mohamed F. Chouikha
1991 ◽  
Vol 40 (1) ◽  
pp. 80-87 ◽  
Author(s):  
G.M. Silberman ◽  
I. Spillinger

1988 ◽  
Vol 17 (255) ◽  
Author(s):  
Mark R. Greenstreet ◽  
Jørgen Staunstrup

<p>This paper presents a high-level language for describing VLSI circuits designed as a collection of asynchronous concurrent processes. This language is called ''Synchronized Transitions'' , and it can be used to describe designs from very high levels of abstraction down to the gate level design. Both synchronous and asynchronous/self-timed circuits can be described, and it is not necessary to choose a particular type of circuitry in the early phases of a design. ''Synchronized Transitions'' programs may be used for experimenting with (simulating) a design at several levels, e.g., to explore different high-level decisions or to verify the gate level. By observing certain constraints in a ''Synchronized Transitions'' program, it is possible to systematically transform the program into an efficient layout.</p>


2019 ◽  
Vol 1 (34) ◽  
pp. 391-422
Author(s):  
اشواق حسن حميد صالح

Climate change and its impact on water resources is the problem of the times. Therefore, this study is concerned with the subject of climate change and its impact on the water ration of the grape harvest in Diyala Governorate. The study was based on the data of the Khanaqin climate station for the period 1973-2017, (1986-2017) due to lack of data at governorate level. The general trend of the elements of the climate and its effect on the water formula was extracted. The equation of change was extracted for the duration of the study. The statistical analysis was also used between the elements of the climate (actual brightness, normal temperature, micro and maximum degrees Celsius, wind speed m / s, relative humidity% The results of the statistical analysis confirm that the water ration for the study area is based mainly on the X7 evaporation / netting variable, which is affected by a set of independent variables X1 Solar Brightness X4 X5 Extreme Temperature Wind Speed ​​3X Minimal Temperature and Very High Level .


2000 ◽  
Vol 41 (4-5) ◽  
pp. 253-260 ◽  
Author(s):  
P. Buffière ◽  
R. Moletta

An anaerobic inverse turbulent bed, in which the biogas only ensures fluidisation of floating carrier particles, was investigated for carbon removal kinetics and for biofilm growth and detachment. The range of operation of the reactor was kept within 5 and 30 kgCOD· m−3· d−1, with Hydraulic Retention Times between 0.28 and 1 day. The carbon removal efficiency remained between 70 and 85%. Biofilm size were rather low (between 5 and 30 μm) while biofilm density reached very high values (over 80 kgVS· m−3). The biofilm size and density varied with increasing carbon removal rates with opposite trends; as biofilm size increases, its density decreases. On the one hand, biomass activity within the reactor was kept at a high level, (between 0.23 and 0.75 kgTOC· kgVS· d−1, i.e. between 0.6 and 1.85 kgCOD·kgVS · d−1).This result indicates that high turbulence and shear may favour growth of thin, dense and active biofilms. It is thus an interesting tool for biomass control. On the other hand, volatile solid detachment increases quasi linearly with carbon removal rate and the total amount of solid in the reactor levels off at high OLR. This means that detachment could be a limit of the process at higher organic loading rates.


Author(s):  
Martin L. Weitzman

In theory, and under some very strong assumptions, there exists a tight quantitative relationship among the following four fundamental economic concepts: (1) ‘wealth’; (2) ‘income’; (3) ‘sustainability’; (4) ‘accounting’. These four basic concepts are placed in quotation marks here because a necessary first step will be to carefully and rigorously define what exactly is meant by each. This chapter reviews what is known about this important fourfold quantitative relationship in an ultra-simplified setting. It identifies some basic applications of this simplified economic theory of wealth and income (and sustainability and accounting). While the contents of this chapter are expressed at a very high level of abstraction and require many restrictive assumptions, the fundamental fourfold relationship it sharply highlights should be useful for conceptualizing, at least in principle, what is ‘wealth’ and what is its theoretical relationship to ‘income’, ‘sustainability’, and ‘accounting’.


Sign in / Sign up

Export Citation Format

Share Document