Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,360,336 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
C++
Hardware description language
High-level programming language
Java
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Bi-Homomorphic Lattice-Based PRFs and Unidirectional Updatable Encryption
V. Sehrawat
,
Y. Desmedt
Cryptology and Network Security
2019
Corpus ID: 201665987
We define a pseudorandom function (PRF) $F: \mathcal{K} \times \mathcal{X} \rightarrow \mathcal{Y}$ to be bi-homomorphic when it…
Expand
2017
2017
Gamma Ray Shielding and Structural Properties of Bi2O3-B2O3-Na2WO4 Glass System
M. Dogra
,
K. Singh
,
Kulwinder Kaur
,
V. Anand
,
Parminder Kaur
2017
Corpus ID: 212501743
Gamma ray sources and radioactive materials in several sectors including nuclear power plants, nuclear reactors, nuclear medicine…
Expand
2012
2012
Monte Carlo Simulation for the Measurement of Entrance Skin Dose on Newborn and Infants
Sang-Tae Kim
2012
Corpus ID: 56340063
Radiation dose estimation on the newborn and infants during radiation examinations, unlike for the adults, is not actively being…
Expand
2010
2010
Estabelecimento de um novo método de calibração de câmaras de ionização tipo lápis para dosimetria em feixes de tomografia computadorizada
D. M. Dias
2010
Corpus ID: 56933193
Pencil ionization chambers are used for beam dosimetry in computed tomography equipment (CT). In this study, a new calibration…
Expand
2006
2006
Computational Toolset for X-Ray Spectral Analysis
Cheol-Soon Shon
,
H. K. Kim
,
M. Cho
,
Min-Ho Cheong
,
C. Lim
,
Jung Min Kim
2006
Corpus ID: 49583437
We have designed a computational tool for generating X-ray photon spectra for a range of applications both in diagnostic…
Expand
2006
2006
Calibration of ionization chambers for measuring air kerma integrated over beam area in diagnostic radiology
P. Larsson
2006
Corpus ID: 43256276
The Monte Carlo method was used to study the dependence of the calibration coefficient on the tube voltage, beam aperture and…
Expand
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…
Expand
1996
1996
Unifying Verification Paradigms
N. Shankar
Formal Techniques in Real-Time and Fault-Tolerant…
1996
Corpus ID: 42871316
The field of formal methods is blessed with an overabundance of formalisms (functional, relational, automata-theoretic, modal…
Expand
1995
1995
Hypervelocity impact phenomena
L. Chhabildas
1995
Corpus ID: 55006233
There is a need to determine the equations of state of materials in regimes of extreme high pressures, temperatures and strain…
Expand
1939
1939
Über die Beziehungen zwischen Hypophysenvorderlappen, Schilddrüse und Nebenniere bei D-Avitaminose
E. Schulze
,
M. Flach
Naunyn-Schmiedebergs Archiv für Experimentelle…
1939
Corpus ID: 46404266
Zusammenfassung1.Vitamin-D-Mangel gibt der Rattenschilddrüse eine leichte Tendenz zur Aktivierung.2.Der Gehalt der…
Expand
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)
ACCEPT & CONTINUE