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… (More)
Wikipedia

Related topics

Related topics

10 relations
C++Hardware description languageHigh-level programming languageJava
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Enhancement of Production Pattern Development Methodology and Best Practices
Execution and stabilization of production patterns on ATE (Automatic Test Equipment) is becoming a challenging task with the… (More)
  • figure 1
  • table 1
  • figure 2
  • table 3
  • table 4
Is this relevant?
2012
2012
An aspect-oriented, model-driven approach to functional hardware verification
The cost of correcting errors in the design of an embedded system’s hardware components can be higher than for its software… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2010
2010
Where OOP Falls Short of Hardware Verification Needs
Functional verification requires, among other things, dedicated programming constructs and mechanisms. Such are accessible to a… (More)
Is this relevant?
2009
2009
Modelling hardware verification concerns specified in the e language: an experience report
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through… (More)
  • figure 6
Is this relevant?
2008
2008
Seroepidemiological Study on Canine Visceral Leishmaniasis in Meshkin-Shahr District, Ardabil Province, Northwest of Iran during 2006-2007
Background: This study aimed to determine the seroprevalence of canine visceral leishmaniasis in Meshkin-Shahr district as… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • figure 1
Is this relevant?
2008
2008
Design and Optimization of 40V, 0.18μm versatile HVL-DMOS device with DOE
In this paper, a 40 V versatile HV LDMOS technology with lower Rdson has been developed in the existing 0.18 mum LV CMOS process… (More)
  • figure 3
  • figure 1
  • table 1
  • figure 4
  • figure 5
Is this relevant?
2007
2007
- ray attenuation coefficient of barite concrete
To prevent population and employment staff exposure to ionization radiation, the exposure rate in working and public areas must… (More)
  • figure 1
  • table 2
  • table 3
  • table 1
  • figure 2
Is this relevant?
2004
2004
The e Hardware Verification Language
Well, someone can decide by themselves what they want to do and need to do but sometimes, that kind of person will need some the… (More)
Is this relevant?
1997
1997
Seismic exploration through high-velocity layers
A seismic model based on log data from northeastern Ireland, which is covered by high-velocity basalts on the surface, is used to… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
1938
1938
Beitrag zum Wirkungsmechanismus des Prolans
Der biologische Einf lug der g o n a d o t r o p e n Wirks to f fe des H y p o p h y s e n v o r d e r l a p p e n s (HVL.) auf… (More)
Is this relevant?