167 research outputs found
Exploring Temporal and Spatial Correlations on Circuit Variables for Enhancing Simulation-based Test Generation
No full textThe ever-increasing complexity and size of current circuit designs have made testing and verification major bottlenecks in the design flow of VLSI (Very Large Scale Integrated) circuits. Statistics show that more than 70% of the design effort can be spent on functional verification and manufacturing testing. This percentage is expected to increase in the future if no significant strides in these areas are made. In this dissertation, we target three related problems in simulation-based Design Verification and Testing: Sequential ATPG (Automatic Test Pattern Generation), Unbounded Model Checking (UMC) of safety properties, and low power testing for full-scan sequential circuits. We model these three problems as simulation-based pattern generation problems and exploit novel ATPG algorithms to increase the effectiveness of sequential ATPGs.
The main challenge for fault/error detection in sequential circuits is the large number of flip-flops (FFs) in modern designs. Due to the large number and variable length of test sequences required for such circuits, the existing deterministic ATPG algorithms fail to achieve high test coverages. Such algorithms typically work by first unrolling the sequential circuit and then performing frequent backtracking to generate test vectors for fault detection. For the hard-to-detect faults, these schemes either run out of memory or require a huge computational effort. We show that simulation-based ATPGs, on the other hand, scale very well for large circuits as they perform only forward simulation. A fundamental problem associated with simulation-based ATPGs is to avoid exhaustive circuit simulation, which is impractical for large designs in the real world, by choosing high quality test vectors that achieve a high test coverage within a low simulation time. We tackle this primary problem by exploiting different correlation-based heuristics.
The intuition behind using correlation-based heuristics is to better guide the pattern generation engine such that the specific objective of either fault detection or property verification in UMC or minimizing power consumption during the testing, is achieved in an efficient manner without resorting to exhaustive simulation. In particular, we model and explore the following correlations: (1) temporal correlations, i.e. correlations on each primary input (PI) in different time frames, and (2) spatial correlations, i.e. correlations among different FFs in the same time frame. We employ temporal correlations in the context of pattern generation of a built-in-self-test (BIST) architecture and we explore spatial correlations to guide a logic-simulation-based sequential ATPG and low power scan test generation. Experimental results on ISCAS and ITC benchmark circuits have shown that those correlations can enhance the simulation to discover more faults or design errors in a significantly shorter time.Ph. D
Characteristic States and Cooperative Game Based Search for Efficient Sequential ATPG and Design Validation
No full text
Characteristic Faults and Spectral Information for Logic BIST
No full textWe present a new method of built-in-self-test (BIST) for sequential cir-cuits and system-on-a-chip (SOC) using characteristic faults and circuit-specific spectral information in the form of one or more Hadamard coef-ficients. The Hadamard coefficients are extracted from the test sequences for a small set of characteristic faults of the circuit. By extracting a few characteristic faults from the circuit, we show that detection of these char-acteristic faults is sufficient in detecting a vast majority of the remaining faults in the circuit. The small number of characteristic faults allows us to reduce the coefficients necessary for BIST. State relaxation is performed on the compacted test sequences to reduce the spectral noise further. Since we are targeting only a very small number of characteristic faults, the ex-ecution times for computing the spectra are greatly reduced. Our experi-mental results show that our new method can achieve high BIST coverage with both lower computational efforts and storage, with very few charac-teristic faults.
The Economic Consequences of IPO Spinning
No full textUsing a sample of fifty-six companies going public in 1996--2000 in which top executives received allocations of other hot initial public offerings (IPOs) from the bookrunner, a practice known as spinning, we examine the consequences of spinning. The fifty-six IPOs had first-day returns that were, on average, 23% higher than similar IPOs. The profits collected by these executives were only a small fraction of the incremental amount of money left on the table by their companies when they went public. These companies were dramatically less likely to switch investment bankers in a follow-on offer: only 6% of issuers whose executives were spun switched underwriters, whereas 31% of other issuers switched. These findings suggest that the spinning of executives accomplished its goal of affecting corporate decisions. The Author 2010. Published by Oxford University Press on behalf of The Society for Financial Studies. All rights reserved. For Permissions, please e-mail: [email protected]., Oxford University Press.
KAT2B Gene Polymorphisms Are Associated with Body Measure Traits in Four Chinese Cattle Breeds
No full textSIMPLE SUMMARY: Genetic improvement is one of the most important keys to overcoming the shortcomings of beef production. Identifying molecular markers related to growth characteristics and meat quality is significant in improving beef cattle breeds. Studies have shown that KAT2B, a transcriptional co-activator regulating the acetylation modification of histones, may be involved in the development and metabolism of muscle and adipose. However, there are no reports on investigating KAT2B genetic variation in Chinese native cattle. Firstly, this manuscript reports the initial bioinformatics analysis of KAT2B, finding that KAT2B protein is highly conserved among ruminants. The KAT2B gene expression profile in Qinchuan cattle was characterized, showing the spatiotemporal specificity of KAT2B gene expression in tissues such as adipose and liver during fetal and adult periods. Then, the investigation of KAT2B gene polymorphisms was carried out. Three SNPs of the KAT2B gene were identified and were found to be correlated with multiple body measurements in Fu, Qinchuan, Yak, and Chaidam cattle. These findings suggest that these three SNPs of KAT2B can serve as the molecular markers to select individuals for beef cattle breed improvement. ABSTRACT: Identifying molecular markers related to growth characteristics or meat quality is significant for improving beef cattle breeds. K(lysine) acetyltransferase 2B (KAT2B) is a transcriptional co-activator regulating the acetylation modification of histones, which may be involved in the development and metabolism of muscle and adipose. However, investigations of KAT2B genetic variations in Chinese native cattle are still limited. This study aimed to identify crucial single nucleotide polymorphisms (SNPs) influencing the body measurements of Chinese native cattle. Biological evolution and conservation analysis showed that KAT2B was highly conserved among the ruminants. By qPCR assay, KAT2B gene expression was found to be spatiotemporally specific in bovine tissues such as adipose and liver. By the RFLP-PCR method, three SNPs of KAT2B (g.T61908C, g.T62131C, and g.C73406T) were identified in 827 individuals of four Chinese cattle breeds, including Qinchuan (n = 658), Fu (n = 52), Yak (n = 48), and Chaidam (n = 69) cattle. Association analysis between these KAT2B polymorphisms and the body measurements of Chinese native cattle revealed significant observations. The genetic effects of g.T61908C, g.T62131C, and g.C73406T on the associated phenotypes were illustrated in each breed. In Qinchuan cattle, g.T62131C was significantly associated with better body height, chest width, hip width, and withers height, for which TC and/or TT were the advantageous genotype. In Fu cattle, TT genotype of g.T61908C was associated to better body length, while individuals with TT or CC of g.T62131C showed higher circumference of cannon bone than those with TC genotype. In Yak, individuals with TT genotype of g.C73406T had heavier body weight. In Chaidam cattle, TC genotype of g.C73406T was associated to superior body weight, while CC genotype of g.C73406T was associated to superior chest girth and circumference of cannon bone. These findings suggest that KAT2B gene polymorphisms can be used as the molecular markers for the early molecular marker-assisted selection in beef cattle breeding programs
Convergence rate of stationary solutions to outflow problem for full Navier–Stokes equations
No full textLarge Time Behavior of Solutions to Cauchy Problem for 1-D Compressible Isentropic Navier-Stokes/Allen-Cahn System
Get PDFThis paper is concerned with the large time behavior of the solutions to the Cauchy problem for the one-dimensional compressible Navier-Stokes/Allen-Cahn system with the immiscible two-phase flow initially located near the phase separation state. Under the assumptions that the initial data is a small perturbation of the constant state, we prove the global existence and uniqueness of the solutions and establish the time decay rates of the solution as well as its higher-order spatial derivatives. Moreover, we derive that the solutions of the system are time asymptotically approximated by the solutions of the modified parabolic system and obtain decay rates in and . Furthermore, we show that the solution of the system is time asymptotically approximated in by the diffusion waves.26 page
- …
