Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,270,917 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.
2013
2013
Design exploration methodology for memristor-based spiking neuromorphic architectures with the Xnet event-driven simulator
O. Bichler
,
David Roclin
,
C. Gamrat
,
D. Querlioz
IEEE/ACM International Symposium on Nanoscale…
2013
Corpus ID: 2594649
We introduce an event-based methodology, and its accompanying simulator (“Xnet”) for memristive nanodevice-based neuromorphic…
Expand
2009
2009
Analysis and Design of a Linear Quadratic Regulator Control for Static Synchronous Compensator
G. Shahgholian
,
Pegah Shafaghi
,
Sepehr Moalem
,
M. Mahdavian
Second International Conference on Computer and…
2009
Corpus ID: 15330592
STATCOM control can improve the transmission capacity considerably and can thus enhance the transient stability margin of the…
Expand
2009
2009
Web-based modular interface geometries with constraints in assembly models
Chung-Shing Wang
Computers & industrial engineering
2009
Corpus ID: 17325722
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
2004
2004
Traffic Adaptive Control for Oversaturated Isolated Intersections: Model Development and Simulation Testing
Hong Li
,
P. Prevedouros
2004
Corpus ID: 1846279
Traffic adaptive control for oversaturated intersections (TACOS) is a hybrid optimization and rule-based strategy that addresses…
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
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
Highly Cited
1988
Highly Cited
1988
Parallel logic simulation on general purpose machines
Larry Soulé
,
T. Blank
25th ACM/IEEE, Design Automation Conference…
1988
Corpus ID: 12314747
Three parallel algorithms for logic simulation have been developed and implemented on a general-purpose shared-memory parallel…
Expand
1985
1985
Concurrent Prolog as an Efficient VLSI Design Language
N. Suzuki
Computer
1985
Corpus ID: 18749982
As long as simulation is relied upon, the hardware will only be as good as the test data; therefore most widely used computers…
Expand
1980
1980
An Integrated Mask Artwork Analysis System
T. Mitsuhashi
,
Toshiaki Chiba
,
M. Takashima
,
Kenji Yoshida
Design Automation Conference
1980
Corpus ID: 17572813
A new LSI artwork analysis and processing system, called EMAP, is described with algorithms, a database schema and applications…
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