Skip to search formSkip to main contentSkip to account menu

Open Verification Library

Known as: OVL 
Open Verification Library (OVL) is a library of property checkers for digital circuit descriptions written in popular Hardware Description Languages… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
FIFO (computing and electronics)Hardware description languageProperty Specification LanguageSystemC

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Improvement the reliability of HV — Power transmission lines protection by means of modern devices and methods
The increased voltage profile due to excess of reactive power in low load operation mode in power grid is observed. Because of HV… 
2015
2015
Archeologisch onderzoek op het Pieter Bladelinplein te Middelburg (OVL)
2014
2014
Device-correlated metrology for overlay measurements
Abstract. One of the main issues with accuracy is the bias between the overlay (OVL) target and actual device OVL. In this study… 
2013
2013
Quality metric for accurate overlay control in <20nm nodes
The semiconductor industry is moving toward 20nm nodes and below. As the Overlay (OVL) budget is getting tighter at these… 
2013
2013
Multi layer overlay measurement recent developments
One of the main challenges related to the growing number of Litho layers and most specifically to Multi Patterning, is the… 
2013
2013
Assertion based on-line fault detection applied on UHF RFID tag
In this paper, we propose a new RFID tag monitoring approach, based on adding an infrastructure circuit to simultaneously monitor… 
2009
2009
Mask contribution on CD and OVL errors budgets for double patterning lithography
Double Patterning Technology (DPT) is now considered as the mainstream technology for 32 nm node lithography. The main DPT… 
2009
2009
Design verification for sub-70-nm DRAM nodes via metal fix using E-beam direct write
  • K. KeilP. Jaschinsky J. Kretz
  • European Mask and Lithography Conference
  • 2009
  • Corpus ID: 115107704
Because of mask cost reduction, electron beam direct write (EBDW) is implemented for special applications such as rapid… 
2006
2006
Dacriointubación cerrada y tubo de silicona como tratamiento de la obstrucción adquirida de vía lagrimal alta en adultos
El tratamiento de la epífora secundaria a obstrucción adquirida de la vía lagrimal (OAVL) en pacientes adultos se basa… 
2003
2003
Property-classified hybrid verification based on CDFG
Developing the advantages of simulation and formal verification on CDFG structure, classified properties verification, a new… 
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)