A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Algorithms for two-dimensional cutting stock and strip packing problems using dynamic programming and column generation

We investigate several two-dimensional guillotine cutting stock problems and their variants in which orthogonal rotations are allowed. We first present two dynamic programming based algorithms for the Rectangular Knapsack (RK) problem and its variants in which the patterns must be staged. The first algorithm solves the recurrence formula proposed by Beasley; the second algorithm - for staged patterns - also uses a recurrence formula. We show that if the items are not so small compared to the dimensions of the bin, then these algorithms require polynomial time. Using these algorithms we solved all instances of the RK problem found at the OR-LIBRARY, including one for which no optimal solution was known. We also consider the Two-dimensional Cutting Stock problem. We present a column generation based algorithm for this problem that uses the first algorithm above mentioned to generate the columns. We propose two strategies to tackle the residual instances. We also investigate a variant of this problem where the bins have different sizes. At last, we study the Two-dimensional Strip Packing problem. We also present a column generation based algorithm for this problem that uses the second algorithm above mentioned where staged patterns are imposed. In this case we solve instances for two-, three- and four-staged patterns. We report on some computational experiments with the various algorithms we propose in this paper. The results indicate that these algorithms seem to be suitable for solving real-world instances. We give a detailed description (a pseudo-code) of all the algorithms presented here, so that the reader may easily implement these algorithms. (c) 2007 Elsevier B.V. All rights reserved.

ScriptLattes: an open-source knowledge extraction system from the Lattes platform

The Lattes platform is the major scientific information system maintained by the National Council for Scientific and Technological Development (CNPq). This platform allows to manage the curricular information of researchers and institutions working in Brazil based on the so called Lattes Curriculum. However, the public information is individually available for each researcher, not providing the automatic creation of reports of several scientific productions for research groups. It is thus difficult to extract and to summarize useful knowledge for medium to large size groups of researchers. This paper describes the design, implementation and experiences with scriptLattes: an open-source system to create academic reports of groups based on curricula of the Lattes Database. The scriptLattes system is composed by the following modules: (a) data selection, (b) data preprocessing, (c) redundancy treatment, (d) collaboration graph generation among group members, (e) research map generation based on geographical information, and (f) automatic report creation of bibliographical, technical and artistic production, and academic supervisions. The system has been extensively tested for a large variety of research groups of Brazilian institutions, and the generated reports have shown an alternative to easily extract knowledge from data in the context of Lattes platform. The source code, usage instructions and examples are available at http://scriptlattes.sourceforge.net/.

Catalytic enantioselective arylations: boron to zinc exchange as a powerful tool for the generation of transferable aryl groups

The transmetalation between boron and zinc is of great importance for application in organic synthesis, since it allows the formation of new carbon-carbon bonds between organometallic units and electrophiles. The direct arylation of aldehydes or more scarcely ketones, in a catalytic, enantioselective manner using chiral catalysts has been described recently. The enantiomerically enriched diarylmethanols obtained in these reactions are valuable precursors for important bioactive molecules. This review provides a synopsis of this ever-growing field and highlights some of the challenges that still remain.

Crowbar System in Doubly Fed Induction Wind Generators

In the last 15 years, the use of doubly fed induction machines in modern variable-speed wind turbines has increased rapidly. This development has been driven by the cost reduction as well as the low-loss generation of Insulated Gate Bipolar Transistors (IGBT). According to new grid code requirements, wind turbines must remain connected to the grid during grid disturbances. Moreover, they must also contribute to voltage support during and after grid faults. The crowbar system is essential to avoid the disconnection of the doubly fed induction wind generators from the network during faults. The insertion of the crowbar in the rotor circuits for a short period of time enables a more efficient terminal voltage control. As a general rule, the activation and the deactivation of the crowbar system is based only on the DC-link voltage level of the back-to-back converters. In this context, the authors discuss the critical rotor speed to analyze the instability of doubly fed induction generators during grid faults.

A Method for Generation of Bone Marrow-Derived Macrophages from Cryopreserved Mouse Bone Marrow Cells

The broad use of transgenic and gene-targeted mice has established bone marrow-derived macrophages (BMDM) as important mammalian host cells for investigation of the macrophages biology. Over the last decade, extensive research has been done to determine how to freeze and store viable hematopoietic human cells; however, there is no information regarding generation of BMDM from frozen murine bone marrow (BM) cells. Here, we establish a highly efficient protocol to freeze murine BM cells and further generate BMDM. Cryopreserved murine BM cells maintain their potential for BMDM differentiation for more than 6 years. We compared BMDM obtained from fresh and frozen BM cells and found that both are similarly able to trigger the expression of CD80 and CD86 in response to LPS or infection with the intracellular bacteria Legionella pneumophila. Additionally, BMDM obtained from fresh or frozen BM cells equally restrict or support the intracellular multiplication of pathogens such as L. pneumophila and the protozoan parasite Leishmania (L.) amazonensis. Although further investigation are required to support the use of the method for generation of dendritic cells, preliminary experiments indicate that bone marrow-derived dendritic cells can also be generated from cryopreserved BM cells. Overall, the method described and validated herein represents a technical advance as it allows ready and easy generation of BMDM from a stock of frozen BM cells.

The role of the observed tropical convection in the generation of frost events in the southern cone of South America

Based on previous results obtained from observations and linear wave theory analysis, the hypothesis that large-scale patterns can generate extreme cold events in southeast South America through the propagation of remotely excited Rossby waves was already suggested. This work will confirm these findings and extend their analysis through a series of numerical experiments using a primitive equation model where waves are excited by a thermal forcing situated in positions chosen according to observed convection anomalies over the equatorial region. The basic state used for these experiments is a composite of austral winters with maximum and minimum frequency of occurrence of generalized frosts that can affect a large area known as the Wet Pampas located in the central and eastern part of Argentina. The results suggest that stationary Rossby waves may be one important mechanism linking anomalous tropical convection with the extreme cold events in the Wet Pampas. The combination of tropical convection and a specific basic state can generate the right environment to guide the Rossby waves trigged by the tropical forcing towards South America. Depending on the phase of the waves entering the South American continent, they can favour the advection of anomalous wind at low levels from the south carrying cold and dry air over the whole southern extreme of the continent, producing a generalized frost in the Wet Pampa region. On the other hand, when a basic state based on the composites of minimum frosts is used, an anomalous anticyclone over the southern part of the continent generates a circulation with a south-southeast wind which brings maritime air and therefore humidity over the Wet Pampas region, creating negative temperature anomalies only over the northeastern part of the region. Under these conditions even if frosts occur they would not be generalized, as observed for the other basic state with maximum frequency of occurrence of generalized frosts.

Lepton sector of a fourth generation

In extensions of the standard model with a heavy fourth generation, one important question is what makes the fourth-generation lepton sector, particularly the neutrinos, so different from the lighter three generations. We study this question in the context of models of electroweak symmetry breaking in warped extra dimensions, where the flavor hierarchy is generated by choosing the localization of the zero-mode fermions in the extra dimension. In this setup the Higgs sector is localized near the infrared brane, whereas the Majorana mass term is localized at the ultraviolet brane. As a result, light neutrinos are almost entirely Majorana particles, whereas the fourth-generation neutrino is mostly a Dirac fermion. We show that it is possible to obtain heavy fourth-generation leptons in regions of parameter space where the light neutrino masses and mixings are compatible with observation. We study the impact of these bounds, as well as the ones from lepton flavor violation, on the phenomenology of these models.

Strongly coupled fourth generation at the LHC

We study extensions of the standard model with a strongly coupled fourth generation. This occurs in models where electroweak symmetry breaking is triggered by the condensation of at least some of the fourth-generation fermions. With focus on the phenomenology at the LHC, we study the pair production of fourth-generation down quarks, D(4). We consider the typical masses that could be associated with a strongly coupled fermion sector, in the range (300-600) GeV. We show that the production and successive decay of these heavy quarks into final states with same-sign dileptons, trileptons, and four leptons can be easily seen above background with relatively low luminosity. On the other hand, in order to confirm the presence of a new strong interaction responsible for fourth-generation condensation, we study its contribution to D(4) pair production, and the potential to separate it from standard QCD-induced heavy quark production. We show that this separation might require large amounts of data. This is true even if it is assumed that the new interaction is mediated by a massive colored vector boson, since its strong coupling to the fourth generation renders its width of the order of its mass. We conclude that, although this class of models can be falsified at early stages of the LHC running, its confirmation would require high integrated luminosities.

Optical second harmonic generation in the centrosymmetric magnetic semiconductors EuTe and EuSe

The magnetic europium chalcogenide semiconductors EuTe and EuSe are investigated by the spectroscopy of second harmonic generation (SHG) in the vicinity of the optical band gap formed by transitions involving the 4f and 5d electronic orbitals of the magnetic Eu(2+) ions. In these materials with centrosymmetric crystal lattice the electric-dipole SHG process is symmetry forbidden so that no signal is observed in zero magnetic field. Signal appears, however, in applied magnetic field with the SHG intensity being proportional to the square of magnetization. The magnetic field and temperature dependencies of the induced SHG allow us to introduce a type of nonlinear optical susceptibility determined by the magnetic-dipole contribution in combination with a spontaneous or induced magnetization. The experimental results can be described qualitatively by a phenomenological model based on a symmetry analysis and are in good quantitative agreement with microscopic model calculations accounting for details of the electronic energy and spin structure.

Theory of near-gap second harmonic generation in centrosymmetric magnetic semiconductors: Europium chalcogenides

Second harmonic generation is strictly forbidden in centrosymmetric materials, within the electric dipole approximation. Recently, it was found that the centrosymmetric magnetic semiconductors EuTe and EuSe can generate near-gap second harmonics, if the system is submitted to an external magnetic field. Here, a theoretical model is presented, which well describes the observed phenomena. The model shows that second harmonic generation becomes efficient when the magnetic dipole oscillations between the band-edge excited states of the system, induced by the excitation light, enter the in-phase regime, which can be achieved by applying a magnetic field to the material.

Spin-Induced Optical Second Harmonic Generation in the Centrosymmetric Magnetic Semiconductors EuTe and EuSe

Spectroscopy of the centrosymmetric magnetic semiconductors EuTe and EuSe reveals spin-induced optical second harmonic generation (SHG) in the band gap vicinity at 2.1-2.4 eV. The magnetic field and temperature dependence demonstrates that the SHG arises from the bulk of the materials due to a novel type of nonlinear optical susceptibility caused by the magnetic dipole contribution combined with spontaneous or induced magnetization. This spin-induced susceptibility opens access to a wide class of centrosymmetric systems by harmonics generation spectroscopy.

Dynamical generation of mass in the D = (2+1) Wess-Zumino model

In this work we study the dynamical generation of mass in the massless N = 1 Wess-Zumino model in a three-dimensional spacetime. Using the tadpole method to compute the effective potential, we observe that supersymmetry is dynamically broken together with the discrete symmetry A(x) -> A(x). We show that this model, different from nonsupersymmetric scalar models, exhibits a consistent perturbative dynamical generation of mass after two-loop corrections to the effective potential.

Femtosecond third-harmonic generation in a glass ceramic containing sodium niobate nanocrystals

The third-harmonic optical susceptibility, chi((3))(3 omega; omega, omega, omega) of a silicate glass ceramic containing sodium niobate nanocrystals was measured for incident broadband light with central frequency omega corresponding to 1900nm. Absolute values of |chi((3))| and the dispersion of the refractive index from 600 to 1900nm were measured using the spectrally resolved femtosecond Maker fringes technique. The experiments show that |chi((3))| is 1 order of magnitude larger than silica, and it grows by similar to 50% when the volume fraction occupied by the nanocrystals increases up to 40%. (C) 2011 Optical Society of America

Generation of nonground-state Bose-Einstein condensates by modulating atomic interactions

A technique is proposed for creating nonground-state Bose-Einstein condensates in a trapping potential by means of the temporal modulation of atomic interactions. Applying a time-dependent spatially homogeneous magnetic field modifies the atomic scattering length. A modulation of the scattering length excites the condensate, which, under special conditions, can be transferred to an excited nonlinear coherent mode. It is shown that a phase-transition-like behavior occurs in the time-averaged population imbalance between the ground and excited states. The application of the technique is analyzed and it is shown that the considered effect can be realized for experimentally available condensates.