Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,048,954 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.
2017
2017
Методика мониторинга гололедных отложений на проводах ВЛ с учетом разрегулировки линейной арматуры
Ярославский Данил Александрович
,
Садыков Марат Фердинантович
,
Конов Андрей Борисович
,
Иванов Дмитрий Алексеевич
,
Горячев Михаил Петрович
,
Ямбаева Татьяна Геннадьевна
2017
Corpus ID: 195445719
One of the most serious causes of accidents in high-power electric power systems is the formation of ice on the wires of high…
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
Where OOP Falls Short of Hardware Verification Needs
Matan Vax
,
Israel matan
2010
Corpus ID: 5991409
Functional verification requires, among other things, dedicated programming constructs and mechanisms. Such are accessible to a…
Expand
2006
2006
Delineating anomalous layers in soil profiles using seismic surface wave methods
Xiaohui Jin
2006
Corpus ID: 140726516
Delineating Anomalous Layers in Soil Profiles Using Seismic Surface Wave Methods by Xiaohui Jin Dr. Barbara Luke, Examination…
Expand
2004
2004
Bloom-Syndrom
J. Keutel
,
S. Marghescu
,
W. Teller
Zeitschrift für Kinderheilkunde
2004
Corpus ID: 92222908
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…
Expand
1993
1993
Simulated superficial and deep tissue doses using niobium filtration for cephalometric radiography
M. Wakoh
,
A. Farman
,
M. Kelly
,
K. Kuroyanagi
1993
Corpus ID: 189914388
The effect of added niobum filtration 30 μm and 50μm on constant potential and conventional full-wave rectified cephalometric…
Expand
1953
1953
Zur Morphologie und Pathophysiologie der Nebennierenrinde von Feten und Neugeborenen
K. Kloos
,
H. Staemmler
Virchows Archiv für Pathologische Anatomie und…
1953
Corpus ID: 6523412
Das fetMe endokrine System erreicht in tier 2. H~lfte tier Gravidit~t einen gewissen Reifezustand (B~RBLI~GE~, T~OMAS), in dem es…
Expand
1942
1942
Auftreten Corticotroper Wirkstoffe Während der Insulin-Hypoglykämie
H. Bartelheimer
,
J. F. Cabeza
Klinische Wochenschrift
1942
Corpus ID: 20426330
ZusammenfassungIn der Insulin-Hypoglykämie kommt es beim Menschen zum Auftreten corticotroper Wirkstoffe im Blut. Es ist…
Expand
1936
1936
Zur Antithyreoiden Wirkung der Nebennierenrinde
C. Oehme
Klinische Wochenschrift
1936
Corpus ID: 36947249
Zusammenfassung1.Der ascorbinsäurefreie NNR.-Extrakt Cortidyn (Promonta) unterdrückt weitgehend die chronische F…
Expand
1934
1934
Über Einen Hypophysären Regulations-Mechanismus im Kohlehydratstoff-Wechsel und Seine Störung Beim Diabetes Mellitus
K. Anselmino
,
F. Hoffmann
Klinische Wochenschrift
1934
Corpus ID: 25414027
ZusammenfassungNach Kohlehydratbelastung erscheint im Blute gesunder Versuchspersonen eine Substanz, welche das Leberglykogen der…
Expand