Design and Functional Verification of Axi2OCP Bridge for Highly Optimized Bus Utilization and Closure Using Functional Coverage

2017 ◽  
pp. 525-535
Author(s):  
N. Shalini ◽  
K. P. Shashikala
Keyword(s):  
Functional Verification ◽  
Functional Coverage

Adaptive Genetic Algorithm Verification Technology Driven by Functional Coverage

2014 ◽  
Vol 644-650 ◽  
pp. 2264-2268
Author(s):  
Jing Kai Shi ◽  
Jian Lang Wu ◽  
Yi Bin Wang
Keyword(s):  
Genetic Algorithm ◽  
Functional Verification ◽  
Adaptive Genetic Algorithm ◽  
Test Vector ◽  
Efficient Test ◽  
Functional Coverage ◽  
Vector Generation ◽  
Test Points ◽  
Efficiency And Reliability ◽  
Algorithm Verification

With the increasing of Chip integration and operation velocity, the gap between validation and design is becoming larger and larger. Now the focus is on generating efficient test vector. Different weights are appropriately set based on the relationships between the code logical depth of function test points and the test points covered by a test vector. A test vector generation method based on adaptive genetic algorithm is proposed. The experimental results show that the method can reduce the time of writing constraint files, auto-generate a stimulation, which is more efficient and targeted, and improve the efficiency and reliability of the chip functional verification.

A Verification Method of Multi-Threaded Processor Based on Tree-Structure

2011 ◽  
Vol 403-408 ◽  
pp. 1865-1868
Author(s):  
Pei Jun Ma ◽  
Meng Liu ◽  
Kang Li ◽  
Jiang Yi Shi
Keyword(s):  
Tree Structure ◽  
Functional Verification ◽  
Feedback Information ◽  
Verification Method ◽  
Functional Coverage ◽  
Coverage Model ◽  
Speed Up ◽  
Structure Instruction

A method based on tree-structure for verifying a multi-threading processor is described in this paper. In this method, instructions are classified according to tree-structure, instruction stream is generated by hierarchical random and the tree-structure is pruned by feedback information of functional coverage model. Results show that this method can speed up the convergence of the coverage and supply effective functional verification for micro-engine.

scholarly journals Genetic Algorithm applied to the Functional Verification in Digital Systems

2018 ◽  
Vol 13 (1) ◽  
pp. 1-9
Author(s):  
Ricardo Augusto Pereira Franco ◽  
Karina Rocha Gomes Da Silva ◽  
Cássio Leonardo Rodrigues
Keyword(s):  
Genetic Algorithm ◽  
Hardware Design ◽  
Search Space ◽  
Hardware Verification ◽  
Functional Verification ◽  
Data Generation ◽  
Functional Coverage ◽  
Verification Time ◽  
Genetic Algorithm Approach ◽  
Better Than

A critical stage of a hardware design is the hardware verification phase. The verification phase corresponds to the biggest bottleneck in a hardware design. The VeriSC methodology is a methodology to perform the hardware verification through of functional verification. In this work, we propose a novel improvement in VeriSC methodology data generation using Genetic Algorithms and feedback approach. The proposed algorithm will modify the data generation of this methodology, whose objective is to reduce the verification time and to improve the generated data. A DPCM and two modules of MPEG-DECODER are used as case studies. The results not only show that the proposed approach can achieve functional coverage with good performance, but also show that the execution time is better or similar to the former method used in VeriSC methodology. These results demonstrate the Genetic Algorithm approach explores the search space better than older approach. The data generation performed can also be used in other methodologies without any problem.

The SNPs within 3'UTR of miRNA Target Genes Related to Multiple Sclerosis: A Computational Prediction

2020 ◽  
Vol 17 (2) ◽  
pp. 133-147
Author(s):  
Mina Zafarpiran ◽  
Roya Sharifi ◽  
Zeinab Shirvani-Farsani
Keyword(s):  
Multiple Sclerosis ◽  
Gene Regulation ◽  
Binding Sites ◽  
Target Genes ◽  
Demyelinating Disease ◽  
Target Prediction ◽  
Computational Prediction ◽  
Functional Verification ◽  
Candidate Snps ◽  
Inflammatory Genes

Background: Multiple Sclerosis (MS) is an inflammatory and demyelinating disease of the central nervous system, and genetic factors play an important role in its susceptibility. The expressions of many inflammatory genes implicated in MS are regulated by microRNA (miRNAs), whose function is to suppress the translation by pairing with miRNA Recognition Elements (MREs) present in the 3' untranslated region (3'UTR) of target mRNA. Recently, it has been shown that the Single Nucleotide Polymorphism (SNPs) present within the 3'UTR of mRNAs can affect the miRNA-mediated gene regulation and susceptibility to a variety of human diseases. Objective: The aim of this study was to analyze the SNPs within the 3'UTR of miRNA inflammatory target genes related to multiple sclerosis. Methods: By DisGeNET, dbGaP, Ovid, DAVID, Web of knowledge, and SNPs databases, 3'UTR genetic variants were identified in all inflammatory genes associated with MS. Also, miRNA's target prediction databases were used for predicting the miRNA binding sites. Results: We identified 125 SNPs with MAF>0.05 located in the binding site of the miRNA of 35 genes among 59 inflammatory genes related to MS. Bioinformatics analysis predicted 62 MRE-modulating SNPs and 59 MRE-creating SNPs in the 3'UTR of MSimplicated inflammatory genes. These candidate SNPs within miRNA binding sites of inflammatory genes can alter the miRNAs binding, and consequently lead to the mRNA gene regulation. Conclusion: Therefore, these miRNA and MRE-SNPs may play important roles in personalized medicine of MS, and hence, they would be valuable for further functional verification investigations.

scholarly journals Design and Performance Study for Electrothermally Deep-Sea Drive Microunits Using a Paraffin Phase Change Material

Micromachines ◽  
2021 ◽  
Vol 12 (4) ◽  
pp. 415
Author(s):  
Dayong Ning ◽  
Zihao Li ◽  
Gangda Liang ◽  
Qibo Wang ◽  
Weifeng Zou ◽  
...  
Keyword(s):  
Phase Change ◽  
Phase Change Material ◽  
Deep Sea ◽  
Hydraulic System ◽  
Functional Verification ◽  
Performance Study ◽  
Micro Electro Mechanical Systems ◽  
Pressure Compensation ◽  
And Performance ◽  
Change Material

Considering the further exploration of the ocean, the requirements for deep-sea operation equipment have increased. Many problems existing in the widely used deep-sea hydraulic system have become increasingly prominent. Compared with the traditional deep-sea hydraulic system, actuators using a paraffin phase change material (PCM) have incomparable advantages, including lightweight structure, low energy consumption, high adaptability to the deep sea, and good biocompatibility. Thus, a deep-sea drive microunit (DDM) based on paraffin PCM is proposed in this paper. The device adopts a flexible shell, adapting to the high-pressure environment of the deep-sea based on the principle of pressure compensation. The device realizes the output of displacement and force through the electrothermal drive, which can be used as actuator or power source of other underwater operation equipment. The microunit successfully completes the functional verification experiments in air, shallow water, and hydrostatic pressure of 110 MPa. In accordance with experimental results, a reasonable control curve is fitted, highlighting its potential application in deep-sea micro electro mechanical systems, especially in underwater soft robot.

scholarly journals Experimental CanSat Platform for Functional Verification of Burn Wire Triggering-Based Holding and Release Mechanisms

Aerospace ◽  
2021 ◽  
Vol 8 (7) ◽  
pp. 192
Author(s):  
Shankar Bhattarai ◽  
Ji-Seong Go ◽  
Hyun-Ung Oh
Keyword(s):  
Functional Performance ◽  
Flight Test ◽  
Easy Access ◽  
Functional Verification ◽  
Release Mechanism ◽  
Space Technology ◽  
Solar Panels ◽  
Distinctive Features ◽  
Release Mechanisms ◽  
Design Effectiveness

In this study, we present the Diverse Holding and Release Mechanism Can Satellite (DHRM CanSat) platform developed by the Space Technology Synthesis Laboratory (STSL) at Chosun University, South Korea. This platform focuses on several types of holding and release mechanisms (HRMs) for application in deployable appendages of nanosatellites. The objectives of the DHRM CanSat mission are to demonstrate the design effectiveness and functionality of the three newly proposed HRMs based on the burn wire triggering method, i.e., the pogo pin-type HRM, separation nut-type HRM, and Velcro tape-type HRM, which were implemented on deployable dummy solar panels of the CanSat. The proposed mechanisms have many advantages, including a high holding capability, simultaneous constraints in multi-plane directions, and simplicity of handling. Additionally, each mechanism has distinctive features, such as spring-loaded pins to initiate deployment, a plate with a thread as a nut for a high holding capability, and a hook and loop fastener for easy access to subsystems of the satellite without releasing the holding constraint. The design effectiveness and functional performance of the proposed mechanisms were demonstrated through an actual flight test of the DHRM CanSat launched by a model rocket.

scholarly journals Transformation and functional verification of Cry5Aa in cotton

2021 ◽  
Vol 11 (1) ◽  
Author(s):  
Shihao Zhao ◽  
Feng Wang ◽  
Qiuping Zhang ◽  
Jiayi Zou ◽  
Zhangshu Xie ◽  
...  
Keyword(s):  
Resistance Gene ◽  
Insect Resistance ◽  
Expression Patterns ◽  
Instar Larva ◽  
Cotton Bollworm ◽  
Pcr Analysis ◽  
Functional Verification ◽  
Study Results ◽  
Significant Difference ◽  
Transgenic Strains

AbstractMost of the cotton bollworm-resistant genes applied in cotton are more than 20 years and they all belong to Cry1Ab/c family, but the insect-resistant effects of Cry5Aa on cotton were rarely reported. The possible risk of resistance is increasing. The study synthesized a novel bollworm-resistant gene Cry5Aa artificially based on preferences of cotton codon. The new gene was transferred to cotton through the method of pollen tube pathway. The transgenic strains were identified by kanamycin test in field and laboratory PCR analysis. Meanwhile, an insect resistance test was conducted by artificial bollworm feeding with transgenic leaves and GK19 was used as a control in this study. Results showed that rate of positive transgenic strains with kanamycin resistance in the first generation (T1), the second generation (T2) and the third generation (T3) respectively were 7.76%, 73.1% and 95.5%. However, PCR analysis showed that the positive strain rate in T1, T2 and T3 were 2.35%, 55.8% and 94.5%, respectively. The resistant assay of cotton bollworm showed that the mortality rate of the second, third and fourth instar larva feed by the transgenic cotton leaves, were 85.42%, 73.35% and 62.79%, respectively. There was a significant difference between transgenic plant of Cry5Aa and GK19 in insect resistance. Finally, we also conducted the further analysis of gene expression patterns, gene flow and the effect on non-target pest in the study. The results showed that Cry5Aa gene had less environmental impact, and Cry5Aa has been transferred successfully and expressed stably in cotton. Therefore, the novel bollworm resistance gene can partially replace the current insect-resistance gene of Lepidoptera insects.

Sign in / Sign up

Export Citation Format

Share Document