Skip to search formSkip to main contentSkip to account menu

Hardware verification language

Known as: HVL, Hardware verification languages 
A hardware verification language, or HVL, is a programming language used to verify the designs of electronic circuits written in a hardware… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
C++Hardware description languageHigh-level programming languageJava

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Monte Carlo Simulation for the Measurement of Entrance Skin Dose on Newborn and Infants
Radiation dose estimation on the newborn and infants during radiation examinations, unlike for the adults, is not actively being… 
2007
2007
Sensitivity of High-frequency Rayleigh-wave Data Revisited
Rayleigh-wave phase velocity of a layered earth model is a function of frequency and four groups of earth properties: Pwave… 
2006
2006
Computational Toolset for X-Ray Spectral Analysis
We have designed a computational tool for generating X-ray photon spectra for a range of applications both in diagnostic… 
2004
2004
DQE evaluation of a full-field digital mammography system
Physical characteristics necessary to calculate the Detective Quantum Efficiency of a clinically used flat panel imager for full… 
2004
2004
Bloom-Syndrom
SummaryA 2 1/2 year old white boy is reported who was born with a low birth weight. At almost 2 years of age he developed a… 
Highly Cited
2003
Highly Cited
2003
Race a word-level atpg-based constraints solver system for smart random simulation
  • M. Iyer
  • International Test Conference, . Proceedings. ITC…
  • 2003
  • Corpus ID: 12058920
Functional verijication of complex designs largely relies on the use of simulation in conjunction high-level verijication… 
1996
1996
Unifying Verification Paradigms
The field of formal methods is blessed with an overabundance of formalisms (functional, relational, automata-theoretic, modal… 
1995
1995
Hypervelocity impact phenomena
There is a need to determine the equations of state of materials in regimes of extreme high pressures, temperatures and strain… 
1939
1939
Über die Beziehungen zwischen Hypophysenvorderlappen, Schilddrüse und Nebenniere bei D-Avitaminose
Zusammenfassung1.Vitamin-D-Mangel gibt der Rattenschilddrüse eine leichte Tendenz zur Aktivierung.2.Der Gehalt der… 
1939
1939
Über die Beziehungen zwischen Schilddrüse und Hypophysenvorderlappen bei B1-Avitaminose
Zusammenfassung1.Bei auf B1-freier Kost gehaltenen Ratten wird die Schilddrüse ruhiggestellt.2.Es wird gezeigt, daß der Gehalt… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)