Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,206,929 papers from all fields of science
Search
Sign In
Create Free Account
Logic simulation
Known as:
Functional simulation
, Function simulation
, Simulation (EDA)
Expand
Logic simulation is the use of simulation software to predict the behavior of digital circuits and hardware description languages. Simulation can be…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
36 relations
Application-specific integrated circuit
Brian Silverman
Clock gating
Code coverage
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
Power function decay of hydraulic conductivity for a TOPMODEL‐based infiltration routine
Jun Wang
,
T. Endreny
,
J. Hassett
2006
Corpus ID: 14777014
TOPMODEL rainfall‐runoff hydrologic concepts are based on soil saturation processes, where soil controls on hydrograph recession…
Expand
2005
2005
Multiband OFDM Alliance - The next generation of Wireless Personal Area Networks
G. Hiertz
,
Yunpeng Zang
,
Joerg Habetha
,
Hamza Sirin
IEEE/Sarnoff Symposium on Advances in Wired and…
2005
Corpus ID: 35897917
Next generation wireless personal area networks (WPAN) are intended for a variety of applications. The Multiband OFDM Alliance…
Expand
Highly Cited
2004
Highly Cited
2004
On-chip digital jitter measurement, from megahertz to gigahertz
S. Sunter
,
A. Roy
IEEE Design & Test of Computers
2004
Corpus ID: 40443849
One of the challenges of testing at multiGbps rates is jitter characterization. We introduce a new technique that allows for…
Expand
2001
2001
OCCOM-efficient computation of observability-based code coveragemetrics for functional verification
F. Fallah
,
S. Devadas
,
K. Keutzer
IEEE Trans. Comput. Aided Des. Integr. Circuits…
2001
Corpus ID: 41656524
Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional…
Expand
Highly Cited
1999
Highly Cited
1999
Two-dimensional photonic crystal Fabry-Perot resonators with lossy dielectrics
M. Beaky
,
J. Burk
,
H. Everitt
,
M. Haider
,
S. Venakides
1999
Corpus ID: 45067737
Square and triangular lattice two-dimensional (2D) photonic crystals (PCs) composed of lossy dielectric rods in air were…
Expand
1998
1998
Enhanced visibility and performance in functional verification by reconstruction
Joshua Marantz
Proceedings Design and Automation Conference…
1998
Corpus ID: 9025010
Cycle simulators, in-circuit emulators, and hardware accelerators have made it possible to rapidly model the functionality of…
Expand
1997
1997
A deadlock-free routing scheme for interconnection networks with irregular topologies
Hsin-Chou Chi
,
Chih-Tsung Tang
Proceedings of the International Conference on…
1997
Corpus ID: 15250036
Interconnection networks with irregular topologies (or irregular networks) are ideal communication subsystems for workstation…
Expand
1994
1994
Time-efficient automatic test pattern generation systems
B. So
1994
Corpus ID: 60036199
Automatic Test Pattern Generation (ATPG) systems are tools for generating tests for digital circuits. Due to the complexity of…
Expand
1981
1981
FUNCTIONAL VERIFICATION IN AN INTERACTIVE SYMBOLIC IC DESIGN ENVIRONMENT
B. Ackland
,
N. Weste
1981
Corpus ID: 17340286
This paper describes verification techniques that have been implemented as part of an interactive symbolic IC design system…
Expand
Highly Cited
1972
Highly Cited
1972
A Note on Three-Valued Logic Simulation
M. Breuer
IEEE transactions on computers
1972
Corpus ID: 43629740
In this note we discuss a few attributes and pitfalls of three-valued (0, 1, u) digital logic simulation. The areas covered…
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