ALADIN: a multilevel testability analyzer for VLSI system design

In order to cope with tomorrow's challenges in the microelectronic market, the reliability of the first phases of the design process must be improved. The possibility of applying techniques for testability analysis at these abstract design levels can considerably help in achieving this goal, reducing at the same time system design costs. In this paper we introduce a novel approach for the application of functional testability at system design level and demonstrate the possibility of its application in an industrial environment. Testability conditions referring to both regular and irregular topologies have been defined, formalized and inserted into the knowledge base of the expert system, ALADIN. This tool operates as a testability analyzer able to identify critical areas for testability in designs whose functional modules and local interconnections are known and described in standard VHDL. The architecture of the tool has been defined in order to satisfy the users' requirements including the integrability into a standard CAD design flow through standard I/O interfaces. Then its application to both a regular and an irregular topology are presented in order to show on real examples which testability conditions apply, and how the tool operates in order to reach the testability assessment. From these industrial case studies, figures of merit are derived from which it is possible to evaluate the importance of the application of such a methodology to system level design     

Performance Estimation of Task Graphs Based on Path Profiling

Correctly estimating the speed-up of a parallel embedded application is crucial to efficiently compare different parallelization techniques, task graph transformations or mapping and scheduling solutions. Unfortunately, especially in case of control-dominated applications, task correlations may heavily affect the execution time of the solutions and usually this is not properly taken into account during performance analysis. We propose a methodology that combines a single profiling of the initial sequential specification with different decisions in terms of partitioning, mapping, and scheduling in order to better estimate the actual speed-up of these solutions. We validated our approach on a multi-processor simulation platform: experimental results show that our methodology, effectively identifying the correlations among tasks, significantly outperforms existing approaches for speed-up estimation. Indeed, we obtained an absolute error less than 5 % in average, even when compiling the code with different optimization levels.     

Losing consciousness: role of the venous lactate levels in the diagnosis of convulsive crises

OBJECTIVES: This prospective study was conducted to evaluate the usefulness of venous lactate assay in the diagnosis of generalized seizures. PATIENTS AND METHODS: Over a three month period, 78 consecutive adults admitted to the emergency unit for unconsciousness were included in the study. Three study groups were defined: patients with generalized seizures (n = 22), unconscious patients without seizure (n = 34) and known epileptic patients with unexplained malaises (n = 22). Patients with a disease susceptible of increasing lactate levels were excluded. Peripheral venous blood was drawn to determine lactates, bicarbonates and pH on a blood gas analyzer. All determinations were performed within 5 minutes of blood withdrawal. CPK level was also determined with an enzymatic method. RESULTS: In patients who had seizures, venous lactate levels were higher than those in patients who had no seizures: 4.3 +/- 0.5 mmol/l in generalized seizure patients versus 1.64 +/- 0.1 and 2.2 +/- 1.39 in unconscious patients without seizure and known epileptic patients with unexplained malaise respectively. The threshold lactate level of 2.5 mmol/l given by ROC curves gave a 0.97 specificity and a 0.73 sensitivity. DISCUSSION: The acidosis observed in patients with generalized seizures results from the combined effects of respiratory and metabolic acidosis. High lactate level would be a consequence of hypoxemia, per seizure rise in catecholamines, and aerobic and anaerobic metabolism in muscles during the tonic-clonic phase. In patients presenting in an unconscious state, increased lactate levels, even when determined up to 2 hours after venous blood withdrawal, could be a useful parameter for the diagnosis of epileptic seizure.     

Testing core-based systems: a symbolic methodology

Because they must rely on vendor-provided test patterns, designers of core-based systems are forced to use expensive scan-based test techniques. The authors' alternative solution exploits the expressiveness of binary decision diagrams to provide test generation for the system and testability estimation and improvement of its components     

A large area telescope for balloon-borne hard X-ray astronomy

A balloon-borne hard X-ray telescope is described that has been designed to make highly sensitive observations of cosmic sources in the energy range 15 to 300 keV. The payload is characterized by a combination of NaI(Tl) based detector of a novel design and spectroscopic proportional counters, providing a total sensitive area of 5000 cm² and a 1 standard deviation sensitivity at the level of about 4 × 10⁻⁶ photons cm⁻² s⁻¹ keV⁻¹. All of the telescope sub-systems are described including the micro-processor based orientation platform that provides a pointing stability of better than 10 arc min. The physical characteristics of the detectors are included along with a summary of the telescope performance during a balloon flight in 1982.     

Septic shock with coma revealing typhoid fever

BACKGROUND: Typhoid fever may be difficult to distinguish from malaria. Septic shock, encephalopathy and leukopenia are common features of both diseases. CASE REPORT: A 20-year-old South Korean woman was admitted to the intensive care unit with coma and shock. Vomiting and abdominal pain were followed by headache, prostration, fever and diarrhea. Leukocytopenia, lymphocytopenia, thrombocytopenia, rhabdomyolysis and hepatitis were present. Clotting tests were normal. The thick peripheral blood film was negative. Salmonella typhi was isolated from 6 blood cultures. Treatment associated ceftriaxone 4 g per day for 5 days, colloid and crystalloid fluids and dopamine. The patient was discharged 2 weeks later. DISCUSSION: Typhoid fever should be considered as a diagnosis in patients with sepsis who come from endemic zones. Abdominal symptoms, prolonged fever, coma and delayed headache are particularly contributive signs. Specific treatment should be instituted.     

Studies on the Catalytic Promiscuity of Limonene Epoxide Hydrolases in the Non-hydrolytic Ring Opening of 1,2-Epoxides

The non-hydrolytic ring opening of 1,2-epoxides in the presence of limonene epoxide hydrolases (LEHs) and different nucleophiles has been investigated. Lyophilized, wild-type LEHs were tested in selected water-saturated organic solvents in the presence of cyclohexene oxide as substrate and different alcohols, thiols and primary amines as nucleophiles. Although the LEHs retained an appreciable catalytic activity under different reaction conditions, formation of the desired 1,2-substituted cyclohexanols was not observed. Alternatively, LEH variants incapable of performing the hydrolytic reaction were generated by site-directed mutagenesis and tested in aqueous media in the presence of different water-soluble nucleophiles and cyclohexene oxide. Under defined reaction conditions, an acceleration of up to about threefold of the spontaneous reaction rate was observed in the presence of sodium azide and potassium thiocyanate as nucleophiles.     

Identification of design errors through functional testing

Verification of the functionality of VHDL specifications is one of the primary and most time consuming tasks of design. However, it must necessarily be an incomplete task because it is impossible to completely exercise the specification by exhaustively applying all input patterns. We present a two-step strategy based on symbolic analysis of the VHDL specification, using a behavioral error model. First, we generate a reduced number of functional test vectors for each process of the specification by using a new analysis metric which we call bit coverage. The error model based on this metric allows the identification of possible design errors represented by redundancies in the VHDL code. Then, through the definition of a controllability measure, we verify if these functional test vectors can be applied to the process inputs when it is interconnected to other processes. If this is not the case, the analysis of the nonapplicable inputs provides identification of possible design errors due to erroneous interconnections. The bit-coverage provides complete statement, condition and branch coverage; and we experimentally show that it allows the identification of possible design errors. Identification and removal of design errors improves the global testability of a design.