Learn More
We present GoldMine, a methodology for generating assertions automatically. Our method involves a combination of data mining and static analysis of the Register Transfer Level (RTL) design. We present results of using GoldMine for assertion generation of the RTL of a 1000-core processor design that is still in an evolving stage. Our results show that(More)
BACKGROUND Although impairment in perfusion reserve is well recognized in hibernating myocardium, there is substantial controversy as to whether resting myocardial blood flow (MBF) is reduced in such circumstances. Quantitative first-pass cardiovascular magnetic resonance (CMR) perfusion imaging allows absolute quantification of MBF. We hypothesized that(More)
BACKGROUND To date, drug response genes have not proved as useful in clinical practice as was anticipated at the start of the genomic era. An exception is in the treatment of chronic hepatitis C virus (HCV) genotype 1 infection with pegylated interferon-alpha and ribavirin (PegIFN/R). Viral clearance is achieved in 40%-50% of patients. Interleukin 28B(More)
Tissue fibrosis is a core pathologic process that contributes to mortality in ~45% of the population and is likely to be influenced by the host genetic architecture. Here we demonstrate, using liver disease as a model, that a single-nucleotide polymorphism (rs12979860) in the intronic region of interferon-λ4 (IFNL4) is a strong predictor of fibrosis in an(More)
We present GoldMine, a methodology for generating assertions automatically in hardware. Our method involves a combination of data mining and static analysis of the register transfer level (RTL) design. The RTL design is first simulated to generate data about the design's dynamic behavior. The generated data is then mined for “candidate(More)
We present a methodology to generate input stimulus for design validation using GoldMine, an automatic assertion generation engine that uses data mining and formal verification. GoldMine mines the simulation traces of a behavioral Register Transfer Level (RTL) design using a decision tree based learning algorithm to produce candidate assertions. These(More)
We propose a methodology to generate input stimulus to achieve coverage closure using GoldMine, an automatic assertion generation engine that uses data mining and formal verification. GoldMine mines the simulation traces of a behavioral register transfer level (RTL) design using a decision tree based learning algorithm to produce candidate assertions. These(More)
Chronic hepatitis C virus (HCV) infection is associated with an increase in hepatic steatosis and a decrease in serum levels of total cholesterol, low-density lipoprotein cholesterol (LDL) and apolipoprotein B (apoB), the main protein constituent of LDL and very low-density lipoprotein (VLDL). These changes are more marked in HCV genotype 3 infection, and(More)
BACKGROUND & AIMS Hepatitis C virus (HCV) interacts with apolipoproteins B (apoB) and E (apoE) to form infectious lipoviral particles (LVP). Response to peginterferon is influenced by interferon-stimulated genes (ISGs) and IL28B genotype. LDL cholesterol (LDL-C) also predicts interferon response, therefore we hypothesised that LVP may also be associated(More)