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.

Measuring Dynamic Oscillations of a Small Span Cable-Stayed Footbridge: Case Study Using L1 GPS Receivers

Highly redundant or statically undetermined structures, such as a cable-stayed bridge, have been of particular concern to the engineering community nowadays because of the complex parameters that must be taken into account for healthy monitoring. The purpose of this study was to verify the reliability and practicability of using GPS to characterize dynamic oscillations of small span bridges. The test was carried out on a cable-stayed wood footbridge at Escola de Engenharia de Sao Carlos-Universidade de Sao Paulo, Brazil. Initially a static load trial was carried out to get an idea of the deck amplitude and oscillation frequency. After that, a calibration trial was carried out by applying a well known oscillation on the rover antenna to check the environment detectable limits for the method used. Finally, a dynamic load trial was carried out by using GPS and a displacement transducer to measure the deck oscillation. The displacement transducer was used just to confirm the results obtained by the GPS. The results have shown that the frequencies and amplitude displacements obtained by the GPS are in good agreement with the displacement transducer responses. GPS can be used as a reliable tool to characterize the dynamic behavior of large structures such as cable-stayed footbridges undergoing dynamic loads.

Tax Cost of Investment Projects: the case of ICMS credits

This article discusses the impact on the profitability of firms under Complementary Law 102/2000 (which abrogated the Law 89/96 - Kandir Law) allowing the appropriation of ICMS credits, due to investment in fixed assets goods, at a ratio of 1/48 per month. The paper seeks to demonstrate how this new system - which resulted in the transformation of the ICMS as a value added tax (VAT) consumption-type to an income-type - leads to a loss of approximately 30% of the value of credits to be recovered and the effect it generates on the cost of investment and the profits for small, medium and large firms. From the methodological point of view, it is a descriptive and quantitative research, which proceeded in three stages. Initially, we have obtained estimated value of net sales and volume of investments, based on report Painel de Competitividade prepared by the Federacao das Indtustrias do Estado de Sao Paulo (Fiesp/Serasa). Based on this information, it was possible to obtain estimates of the factors of generation of debits and credits for ICMS, using the model Credit Control of Fixed Assets (CIAP). Finally, we have calculated three indicators: (i) present value of debt recovery/value of credits, (ii) present value of debt recovery / investment value, (iii) present value of debt recovery / sales profitability. We have conclude that the system introduced by Complementary Law 102/2000 implicates great opportunity cost for firms and that legislation should be reviewed from this perspective, aiming to ensure lower costs associated with investment projects.

An estimate of biometric parameters in eucalyptus clone plantations in Southern Bahia: an application of the airborne laser scanning (ALS) technology

The application of airborne laser scanning (ALS) technologies in forest inventories has shown great potential to improve the efficiency of forest planning activities. Precise estimates, fast assessment and relatively low complexity can explain the good results in terms of efficiency. The evolution of GPS and inertial measurement technologies, as well as the observed lower assessment costs when these technologies are applied to large scale studies, can explain the increasing dissemination of ALS technologies. The observed good quality of results can be expressed by estimates of volumes and basal area with estimated error below the level of 8.4%, depending on the size of sampled area, the quantity of laser pulses per square meter and the number of control plots. This paper analyzes the potential of an ALS assessment to produce certain forest inventory statistics in plantations of cloned Eucalyptus spp with precision equal of superior to conventional methods. The statistics of interest in this case were: volume, basal area, mean height and dominant trees mean height. The ALS flight for data assessment covered two strips of approximately 2 by 20 Km, in which clouds of points were sampled in circular plots with a radius of 13 m. Plots were sampled in different parts of the strips to cover different stand ages. The clouds of points generated by the ALS assessment: overall height mean, standard error, five percentiles (height under which we can find 10%, 30%, 50%,70% and 90% of the ALS points above ground level in the cloud), and density of points above ground level in each percentile were calculated. The ALS statistics were used in regression models to estimate mean diameter, mean height, mean height of dominant trees, basal area and volume. Conventional forest inventory sample plots provided real data. For volume, an exploratory assessment involving different combinations of ALS statistics allowed for the definition of the most promising relationships and fitting tests based on well known forest biometric models. The models based on ALS statistics that produced the best results involved: the 30% percentile to estimate mean diameter (R(2)=0,88 and MQE%=0,0004); the 10% and 90% percentiles to estimate mean height (R(2)=0,94 and MQE%=0,0003); the 90% percentile to estimate dominant height (R(2)=0,96 and MQE%=0,0003); the 10% percentile and mean height of ALS points to estimate basal area (R(2)=0,92 and MQE%=0,0016); and, to estimate volume, age and the 30% and 90% percentiles (R(2)=0,95 MQE%=0,002). Among the tested forest biometric models, the best fits were provided by the modified Schumacher using age and the 90% percentile, modified Clutter using age, mean height of ALS points and the 70% percentile, and modified Buckman using age, mean height of ALS points and the 10% percentile.

Using indicators of deforestation and land-use dynamics to support conservation strategies: A case study of central Rondonia, Brazil

In Rondonia State, Brazil, settlement processes have cleared 68,000 km 2 of tropical forests since the 1970s. The intensity of deforestation has differed by region depending on driving factors like roads and economic activities. Different histories of land-use activities and rates of change have resulted in mosaics of forest patches embedded in an agricultural matrix. Yet, most assessments of deforestation and its effects on vegetation, soil and water typically focus on landscape patterns of current conditions, yet historical deforestation dynamics can influence current conditions strongly. Here, we develop and describe the use of four land-use dynamic indicators to capture historical land-use changes of catchments and to measure the rate of deforestation (annual deforestation rate), forest regeneration level (secondary forest mean proportion), time since disturbance (mean time since deforestation) and deforestation profile (deforestation profile curvature). We used the proposed indices to analyze a watershed located in central Rondonia. Landsat TM and ETM+ images were used to produce historical land-use maps of the last 18 years, each even year from 1984 to 2002 for 20 catchments. We found that the land-use dynamics indicators are able to distinguish catchments with different land-use change profiles. Four categories of historical land-use were identified: old and dominant pasture cover on small properties, recent deforestation and dominance of secondary growth, old extensive pastures and large forest remnants and, recent deforestation, pasture and large forest remnants. Knowing historical deforestation processes is important to develop appropriate conservation strategies and define priorities and actions for conserving forests currently under deforestation. (C) 2009 Elsevier B.V. All rights reserved.

Phytoseiid mites (Acari: Phytoseiidae) of the Dominican Republic, with a re-definition of the genus Typhloseiopsis De Leon

The phytoseiid mites of the Dominican Republic are virtually unknown. In a survey conducted in areas of natural vegetation of that country, 23 species were collected, two of which, Phytoseius dominicensis Ferragut & Moraes sp. nov. and Typhloseiopsis adventitius Ferragut & Moraes sp. nov., are new to science. We report the species found in that survey, describe the two new species, and provide complementary morphological information about other species. To accommodate the new Typhloseiopsis De Leon species, a redefinition of Typhloseiopsis is proposed. A key for the separation of the species in this genus is provided.

Definition of priority areas for forest conservation through the ordered weighted averaging method

The general objective of this study was to evaluate the ordered weighted averaging (OWA) method, integrated to a geographic information systems (GIS), in the definition of priority areas for forest conservation in a Brazilian river basin, aiming at to increase the regional biodiversity. We demonstrated how one could obtain a range of alternatives by applying OWA, including the one obtained by the weighted linear combination method and, also the use of the analytic hierarchy process (AHP) to structure the decision problem and to assign the importance to each criterion. The criteria considered important to this study were: proximity to forest patches; proximity among forest patches with larger core area; proximity to surface water; distance from roads: distance from urban areas; and vulnerability to erosion. OWA requires two sets of criteria weights: the weights of relative criterion importance and the order weights. Thus, Participatory Technique was used to define the criteria set and the criterion importance (based in AHP). In order to obtain the second set of weights we considered the influence of each criterion, as well as the importance of each one, on this decision-making process. The sensitivity analysis indicated coherence among the criterion importance weights, the order weights, and the solution. According to this analysis, only the proximity to surface water criterion is not important to identify priority areas for forest conservation. Finally, we can highlight that the OWA method is flexible, easy to be implemented and, mainly, it facilitates a better understanding of the alternative land-use suitability patterns. (C) 2008 Elsevier B.V. All rights reserved.

The use of glucan as immunostimulant in the treatment of a severe case of chromoblastomycosis

We report the case of an alternative treatment for a patient with a severe form of chromoblastomycosis that responded poorly to the traditional antifungal therapy. We hereby show, in this study, the improvement of lesions after treatment with itraconazole associated with an intramuscular administration of glucan. We observed that the regression of lesions was associated with an improvement of the cellular immune response. This favourable response that we observed suggests that the therapeutic regimen we used might be an option for the treatment of patients with a severe form of chromoblastomycosis.

Assignment of the absolute configuration at the sulfur atom of thioridazine metabolites by the analysis of their chiroptical properties: The case of thioridazine 2-sulfoxide

Thioridazine (THD) is a commonly prescribed phenotiazine neuroleptic drug, which is extensively biotransformed in the organism producing as main metabolites sulfoxides and a sulfone by sulfur oxidation Significant differences have been observed in the activity of the THD enantiomers as well as for its main metabolites, and enantioselectivity phenomena have been proved in the metabolic pathway. Here the assignment of the absolute configuration at the sulfur atom of enantiomeric THD-2-sulfoxide (THD-2-SO) has been carried out by circular dichroism (CD) spectroscopy The stereoisomers were separated by HPLC on Chiralpak AS column, recording the CD spectra for the two collected enantiomeric fractions The theoretical electronic CD spectrum has been obtained by the TDDFT/B3LYP/6-31G*. as Boltzmann averaging of the contributions calculated for the most stable conformations of the drug The comparison of the simulated and experimental spectra allowed the absolute configuration at the sulfur atom of the four THD-2-SO stereoisomers to be assigned The developed method should be useful for a reliable correlation between stereochemistry and activity and/or toxicity

Towards a History didactics definition

This paper aims to define history didactics along the lines of the current German literature, which conceives it to be closer to history than to education. Associated to the word Geschichtsdidaktik, this definition is opposed to the concepts of history didactics as the art of teaching - Lehrkunst - history or as a collection of methods used both in the teaching of history and in the teaching of other school subjects - Unterrichtsmethoden. In opposition to these two definitions, this paper discusses German, French and Brazilian literatures to propose a conception of history didactics as a subarea of history, once it does not encompass only history teaching, but all history elaborations without a scientific form - nicht- wissenschaftsformigen Geschichtsverarbeitungen.

Transfer and Reverse Transfer of Knowledge of International Acquisitions: the case of the acquisition of the Perez Companc by Petrobras in Argentina

The objective of this article was to analyze the processes of transfer and reverse trans fer of knowledge following. international acquisitions made by Brazilian multinational companies. Reverse transfer is understood,as the process of transferring knowledge from the acquired company to the acquirer. Therefore, a case study was conducted on the acquisition of the Perez Companc group by Petrobras in Argentina. The study is qualitative. Primary data were obtained and eight members of the international managing board of Petrobras were interviewed. After the first moment of integration, reported as conflictive, there was a better integration of the companies, mainly in the technical areas of, the oil and gas exploration activities. The size of Perez Companc, its aim (a company of energy, not only oil and gas company) and the length of time were critical factors for the transfer of best practices between the companies. The expatriation of the employees is seen as a key-tool, as well as the technical visits, for the transfer of knowledge.. An. additional contribution of the study was to present the results of the research on the process of transfer and reverse transfer of knowledge in Brazilian multinational companies, since most studies on the theme focus on the motivators and challenges concerning these processes.

The perception of Executives and other Employees on the answer to the Sarbanes-Oxley: case study of a subsidary of the American auto industry established in Brazil

To attend and obtain the systems and. internal controls mechanisms proposed by Sarbanes-Oxley certifications is actually a big challenge,for most of the multinational companies registered in SEC (US Securities and Exchange Commission). This work has the objective of contributing to the analysis of this methodology, not only to attend the law but to reduce cost and generate value through the strengthen of the internal control systems, turning them into animating value generation process mechanisms. So, the idea is to identify the main gaps in the theory through the literature revision and a case study in order to put a question to the main deficiencies, strong points or contributions through the evaluation of the noticed practices. Finally, we can say that a a result of the research and the analyses made in. this case, the vast majority of executives and other employees recognize the benefit that Sarbanes-Oxley Act has brought to the company searched. Also recognize that, although there is still necessity for systemic adequacy and infrastructure, it helps and reinforce reducing and controlling the risks. the system of internal controls in all areas of expertise. They approach and understand that there is the need for a change in the other employees` culture to be inserted in the day-today routine as internal controls, attention to Sarbanes-Oxley and Corporate Governance, making the control cost smaller when compared to the benefits generated.

Customer Perception about Loyalty Programs in Agricultural Market: a case study

This study discusses the use of loyalty programs and Customer perception in, agricultural market. The theoretical review includes relationship marketing, its objectives, dimensions and instruments, and loyalty programs. The method for the empirical part consisted on qualitative research, through a case study conducted at one of the largest crop protection chemical companies in Brazil. The case is representative once this company was pioneer in its segment in adopting the customer relationship management. (CRM) approach to-their clients: It has been a consensus that customer relationship is a tool to amplify the Customer share. This.,is so, due the. increasing competition generated by the entrance of generic products and the retaliation actions adopted by the multinational groups. The case study includes a market overview, a description of the company, its loyalty program, the image of the program from the customer`s perspective, and the main results acquired with the CRM program. The Study also presents some recommendations for-companies that are pursuing strategies to. increase their customer share through loyalty programs.

Variable Demand and Profitability in Service Companies: a case study in the information technology sector

Managing a variable demand scenario is particularly challenging on services organizations because services companies usually have a major part of fixed costs. The article studies how a services organization manages its demand variability and its relation with the organization`s profitability. Moreover, the study searched for alternatives used to reduce the demand variability`s impact on the profitability of the company. The research was based on a case study with a Brazilian services provider on information technology business. The study suggests that alternatives like using outsourced employees to cover demand peaks may bring benefits only on short term, reducing the profitability of the company on long term: Some options are revealed, like the internationalization of employees and the investment on developing its own workforce.

The Internationalization Process as Generator Element of Dynamic Capacities: the case of WEG in Argentina and China

The objective of he article is to research the dynamic capacities developed and used by WEG in its internationalization process and to explain how these capacities help the company defends and supports competitive advantage. The article presents an exploratory study of the internationalization process of WEG in Argentina and China. This article has as analysis approach the dynamic capacities, contributes to the literature of international management in two aspects. First, it adds the analytical look of the internationalization based on dynamic capacities that are still well restricted. Second, when working the dynamic capacities as central element of the analysis of the internationalization process, it Proposes one framework of integrative analysis of the economic and behavioral theories that are used to explain the process of companies`-internationalization, although they are dealt independently and sometimes antagonistic way. The result shows as the dynamic capacities are articulated in the base of WEG in its process of internationalization for Argentina and the subsequent movement for China. The developed dynamic capacities in Argentina were acquired for the Brazilian headquarter and could have been applied in the process of internationalization for China. However, a more complex organizational structure cannot be identified where the inter-subsidiary relationships could share dynamic capacities as proposed in framework.