17 research outputs found
Circulating Progenitor Cells Predict Clinical Outcomes in Patients With Coronary Artery Disease and Renal Insufficiency
Involvement of cardiovascular system as the critical point in coronavirus disease 2019 (COVID-19) prognosis and recovery
Clinical value of amyloid-beta1-40 as a marker of thromboinflammation in Antiphospholipid Syndrome
The Alzheimer\u27s Disease Amyloid-Beta Hypothesis in Cardiovascular Aging and Disease: JACC Focus Seminar
Circulating Amyloid Beta 1-40 Is Associated with Increased Rate of Progression of Atherosclerosis in Menopause: A Prospective Cohort Study
Adenosine-to-inosine <em>Alu</em> RNA editing controls the stability of the pro-inflammatory long noncoding RNA <em>NEAT1</em> in atherosclerotic cardiovascular disease
Adenosine-to-inosine RNA editing contributes to type I interferon responses in systemic sclerosis
Cathepsin B expression is associated with arterial stiffening and atherosclerotic vascular disease
Adenosine-to-inosine RNA editing contributes to type I interferon responses in systemic sclerosis
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper we report on the verification of a Very Large Instruction Word processor. The verification team used a sophisticated test program generator that modeled the parallel aspects as sequential constraints, and augmented the tool with manually written test templates. The system created large numbers of legal stimuli, however the quality of the tests was proved insufficient by several post silicon bugs. We analyze this experience and suggest an alternative, parallel generation technique. We show through experiments the feasibility of the new technique and its superior quality along several dimensions. We claim that the results apply to other parallel architectures and verification environments