Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,291,149 papers from all fields of science
Search
Sign In
Create Free Account
SystemVerilog
Known as:
SV
, System verilog
In the semiconductor and electronic design industry, SystemVerilog is a combined hardware description language and hardware verification language…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
44 relations
Bit array
Bus Functional Model
Code coverage
Communicating sequential processes
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Novel design approaches for multifunctional information carriers
M. Ecker
,
Thorsten Pretsch
2014
Corpus ID: 94389725
Two design approaches for multifunctional information carriers are introduced. In the first one, quick response (QR) code…
Expand
2013
2013
SEU Measurements and Simulations in a Mixed Field Environment
R. G. Alía
,
B. Biskup
,
+6 authors
F. Wrobel
IEEE Transactions on Nuclear Science
2013
Corpus ID: 27050763
Single Event Upset (SEU) measurements were performed using the European Space Agency's (ESA) Standard SEU Monitor in the H4…
Expand
2013
2013
LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution)
Stephan Falke
,
Florian Merz
,
C. Sinz
International Conference on Tools and Algorithms…
2013
Corpus ID: 5552873
LLBMC is a tool for detecting bugs and runtime errors in C and C++ programs. It is based on bounded model checking using an SMT…
Expand
2009
2009
Three-Dimensional TOF Robot Vision System
S. Hussmann
,
T. Liepert
IEEE Transactions on Instrumentation and…
2009
Corpus ID: 37556822
Stereo vision (SV) is widely used and is well known for many 3-D image applications. In this paper, a 3D time-of-flight system…
Expand
2007
2007
Digital Image Processing Using MATLAB: AND Mathworks, MATLAB Sim SV 07
R. González
,
R. Woods
,
S. L. Eddins
2007
Corpus ID: 62425396
2003
2003
Design and analysis of power‐CMOS‐gate‐based switched‐capacitor DC–DC converter with step‐down and step‐up modes
Yuen-Haw Chang
International journal of circuit theory and…
2003
Corpus ID: 14119105
A unified multi‐stage power‐CMOS‐transmission‐gate‐based quasi‐switched‐capacitor (QSC) DC–DC converter is proposed to integrate…
Expand
2002
2002
Personnel Preparation and Service Delivery Issues in Rural Areas: The State of the Art
Jane M. Williams
,
Suzanne M. Martin
,
Robert K. Hess
2002
Corpus ID: 70459090
Preparation of high quality personnel to provide educational services to students with disabilities living in rural areas is, at…
Expand
2000
2000
Inversion of azimuthally dependent NMO velocity in transversely isotropic media with a tilted axis of symmetry
V. Grechka
,
I. Tsvankin
2000
Corpus ID: 18384279
Just as the transversely isotropic model with a vertical symmetry axis (VTI media) is typical for describing horizontally layered…
Expand
Highly Cited
1999
Highly Cited
1999
Jewels are Forever
J. Karhumäki
,
H. Maurer
,
G. Paun
,
G. Rozenberg
Springer Berlin Heidelberg
1999
Corpus ID: 30178955
ly we have the following setting for our problem. We are given a finite set S of generators and a finite set E of equations of…
Expand
1962
1962
Mantle shear wave velocities determined from oceanic Love and Rayleigh wave dispersion
L. Sykes
,
M. Landisman
,
Yasuo Satô
1962
Corpus ID: 2627322
Dispersion of Love and Rayleigh waves has been computed for a model of the suboceanic crust and mantle. An important feature of…
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