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)
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 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)
—Pattern mining is a fundamental problem that has a wide range of applications. In this paper, we study the problem of finding a minimum set of signature patterns that explain all data. In the problem, we are given objects where each object has an itemset and a label. A pattern is called a signature pattern if all objects with the pattern have the same(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 assertions " that(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)
Neuro-psychiatric and cognitive disorders are frequent in patients with chronic hepatitis C (CHC) virus (HCV) infection which adversely impact quality of life, antiviral treatment adherence and outcome. HCV has neurotrophic properties and affects lipid metabolism, essential for cognitive function. We evaluated the relationship of lipid profiles with(More)
Cirrhosis likely shares common pathophysiological pathways despite arising from a variety of liver diseases. A recent GWAS identified rs641738, a polymorphism in the MBOAT7 locus, as being associated with the development of alcoholic cirrhosis. Here we explore the role of this variant on liver inflammation and fibrosis in two cohorts of patients with(More)