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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
We define a pseudorandom function (PRF) $F: \mathcal{K} \times \mathcal{X} \rightarrow \mathcal{Y}$ to be bi-homomorphic when it… 
2017
2017
Gamma ray sources and radioactive materials in several sectors including nuclear power plants, nuclear reactors, nuclear medicine… 
2012
2012
Radiation dose estimation on the newborn and infants during radiation examinations, unlike for the adults, is not actively being… 
2010
2010
Pencil ionization chambers are used for beam dosimetry in computed tomography equipment (CT). In this study, a new calibration… 
2006
2006
We have designed a computational tool for generating X-ray photon spectra for a range of applications both in diagnostic… 
2006
2006
The Monte Carlo method was used to study the dependence of the calibration coefficient on the tube voltage, beam aperture and… 
Highly Cited
2003
Highly Cited
2003
  • M. Iyer
  • 2003
  • Corpus ID: 12058920
Functional verijication of complex designs largely relies on the use of simulation in conjunction high-level verijication… 
1996
1996
The field of formal methods is blessed with an overabundance of formalisms (functional, relational, automata-theoretic, modal… 
1995
1995
There is a need to determine the equations of state of materials in regimes of extreme high pressures, temperatures and strain… 
1939
1939
Zusammenfassung1.Vitamin-D-Mangel gibt der Rattenschilddrüse eine leichte Tendenz zur Aktivierung.2.Der Gehalt der…