Spelling suggestions: "subject:"checkmate"" "subject:"checkmated""
1 |
Formal Verification Of Analog And Mixed Signal Designs Using Simulation TracesLata, Kusum 01 1900 (has links) (PDF)
The conventional approach to validate the analog and mixed signal designs utilizes extensive SPICE-level simulations. The main challenge in this approach is to know when all important corner cases have been simulated. An alternate approach is to use the formal verification techniques. Formal verification techniques have gained wide spread popularity in the digital design domain; but in case of analog and mixed signal designs, a large number of test scenarios need to be designed to generate sufficient simulation traces to test out all the specified system behaviours. Analog and mixed signal designs can be formally modeled as hybrid systems and therefore techniques used for formal analysis and verification of hybrid systems can be applied to the analog and mixed signal designs.
Generally, formal verification tools for hybrid systems work at the abstract level where we model the systems in terms of differential equations or algebraic equations. However the analog and mixed signal system designers are very comfortable in designing the circuits at the transistor level. To bridge the gap between abstraction level verification and the designs validation which has been implemented at the transistor level, the very important issue we need to address is: Can we formally verify the circuits at the transistor level itself? For this we have proposed a framework for doing the formal verification of analog and mixed signal designs using SPICE simulation traces in one of the hybrid systems formal verification tools (i.e. Checkmate from CMU). An extension to a formal verification approach of hybrid systems is proposed to verify analog and mixed signal (AMS) designs. AMS designs can be formally modeled as hybrid systems and therefore lend themselves to the formal analysis and verification techniques applied to hybrid systems. The proposed approach employs simulation traces obtained from an actual design implementation of AMS circuit blocks (for example, in the form of SPICE netlists) to carry out formal analysis and verification. This enables the same platform used for formally validating an abstract model of an AMS design to be also used for validating its different refinements and design implementation, thereby providing a simple route to formal verification at different levels of implementation.
Our approach has been illustrated through the case studies using simulation traces form the different frameworks i.e. Simulink/Stateflow framework and the SPICE simulation traces. We demonstrate the feasibility of our approach around the Checkmate and the case studies for hybrid systems and the analog and mixed signal designs.
|
2 |
Evaluation of Pheromone Mating Disruption for California Red Scale Control in Commercial California CitrusLeonard, Joel Timothy 01 December 2019 (has links) (PDF)
California red scale (CRS), Aonidella aurantii, is an increasingly injurious insect pest for the California citrus industry due to insecticide resistance, changing weather patterns, and shifting trade regulations. The presence of the insect on fruit, damages the rind of the fruit and high populations can cause dieback of branches as well as lower yields. Pheromone mating disruption of CRS has the potential to alleviate population control concerns and reduce insecticide use. The efficacy of the pheromone mating disruption technique for pest management of CRS was determined using the products CheckMate® CRS and Semios CRS Plus. CheckMate® CRS was evaluated over two years in eight 8.1-ha blocks and two 16.2-ha blocks, and in each block half the acreage was untreated and half treated. Semios CRS Plus was evaluated over one year in four 8.1-ha blocks and one 16.2-ha block, and in each block half the acreage was untreated and half treated. Disruption efficacy was determined by male flight trap counts, leaf and twig infestation percentages, and fruit infestation at the end of the season. For CheckMate® CRS® a large reduction in male flight trap catches were recorded in all blocks over both years. Statistically significant lower leaf and twig infestations were observed between for the CheckMate® CRS compared to the control areas in all 10 blocks over the 2018 and 2019 seasons for both the August and November sampling. Statistically significant reductions in the % of fruit infested with 10 or more scales were observed for the CheckMate® CRS treatment compared to the control in 9 of the 10 blocks with 7 of 10 blocks having 90% to 97% reduction. No significant reductions in male flight trap catches or the August leaf and twig infestation were observed for Semios CRS Plus. Due to a lack of efficacy in the August leaf and twig sample in 2018 the trials were canceled and not replicated in 2019. The results of the study indicated pheromone mating disruption using CheckMate® CRS, can be an effective method to reduce California red scale populations.
|
3 |
Exotic Decays of a Vector-liketop Partner at the LHCSkwarcan-Bidakowski, Alexander January 2019 (has links)
An evaluation of how sensitive some ATLAS searches for new physics are to a new beyond standard model (BSM) vector-like quark (VLQ) and a pseudo Nambu-Goldstone boson (pNGB) scalar. This was done by simulating a signal containing these new particles and making a recast of it onto existing verified ATLAS searches for new physics at center-of-mass (CM) energy of 13 TeV (Run 2) at the Large Hadron Collider (LHC). Signals for recasting were tailored such that their final states would be appropriate in relation to each respective ATLAS search in order to use the same selection criteria as applied in the existing searches. The results are summarized in the form of significances (Z) for each masspoint of the new top-partner and S particle. Significances did not show any expectiation of excluding any masspoint in the examined mass range for the recasts at 95% CL. This suggests that a dedicated search for these particles in the considered masspoints would be required.
|
Page generated in 0.0318 seconds