Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,295 papers from all fields of science
Search
Sign In
Create Free Account
Open Verification Methodology
Known as:
OVM
The Open Verification Methodology (OVM) is a documented methodology with a supporting building-block library for the verification of semiconductor…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
ERM (e Reuse Methodology)
Universal Verification Methodology
Broader (1)
Electronic design automation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Transactional Behavior Verification in Business Process as a Service Configuration
S. Bourne
,
Claudia Szabo
,
Quan Z. Sheng
IEEE Transactions on Services Computing
2019
Corpus ID: 53687087
Business Process as a Service (BPaaS) is an emerging type of cloud service that offers configurable and executable business…
Expand
2014
2014
Towards a Computer-Aided Problem-Oriented Variability Requirements Engineering Method
Azadeh Alebrahim
,
Stephan Faßbender
,
Martin Filipczyk
,
M. Goedicke
,
M. Heisel
,
M. Konersmann
CAiSE Workshops
2014
Corpus ID: 14230675
In theory, software product lines are planned in advance, using established engineering methods. However, there are cases where…
Expand
2010
2010
Using Integer Constraint Solving in Reuse Based Requirements Engineering
C. Salinesi
,
R. Mazo
,
Daniel Diaz
,
Olfa Djebbi
IEEE International Requirements Engineering…
2010
Corpus ID: 2203395
Product Lines (PL) have proved an effective approach to reuse-based systems development. Several modeling languages were proposed…
Expand
2010
2010
Influence of seed maturity stages on germinability and seedling vigor in groundnut
P. Nautiyal
,
J. B. Misra
,
P. Zala
2010
Corpus ID: 37252135
Summary Groundnut (Arachis hypogaea) seeds lose their germinability more rapidly in seed lots harvested in summer season than…
Expand
2009
2009
Estudo do uso de plastificantes de fontes renovável em composições de PVC
Emerson Madaleno
,
Derval dos Santos Rosa
,
S. F. Zawadzki
,
T. H. Pedrozo
,
L. P. Ramos
2009
Corpus ID: 137404077
Synthetic polymers have been widely used in manufactured products because of their physical and chemical properties and low cost…
Expand
2006
2006
Mechanisms of Al3+ incorporation in MgSiO3 post-perovskite at high pressures
Feiwu Zhang
,
A. Oganov
2006
Corpus ID: 14223896
2005
2005
Engineering a common intermediate representation for the Ovm framework
K. Palacz
,
J. Baker
,
Chapman Flack
,
Christian Grothoff
,
Hiroshi Yamauchi
,
J. Vitek
Science of Computer Programming
2005
Corpus ID: 6973772
2002
2002
Protecting digital music delivery and consumption using the OCCAMM project framework
C. Serrão
,
J. Marques
,
Trevor Baker
,
M. Balestri
,
P. Kudumakis
Second International Conference on Web Delivering…
2002
Corpus ID: 2105116
Several standardisation initiatives recognised that content has value to both the user and the owner, and to ensure that this…
Expand
2002
2002
Towards Benchmarking Microscopic Traffic Flow Models
E. Brockfeld
,
P. Wagner
2002
Corpus ID: 1068002
For the simulation of traffic flows various macroscopic and microscopic models exist. Developing these models it is important to…
Expand
2000
2000
ON BLIND ADAPTIVE ALGORITHMS FOR IIR EQUALIZERS
Roberto López-Valcarce
,
F. Pérez-González
2000
Corpus ID: 16435701
Previous work has shown that the optimum MSE causal equalizer is IIR, with a number of poles equal to the channel order. We…
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