ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
HLS: combining statistical and symbolic simulation to guide microprocessor designs
Proceedings of 27th International Symposium on Computer Architecture (IEEE Cat. No.RS00201)
◽
10.1109/isca.2000.854379
◽
2002
◽
Cited By ~ 3
Author(s):
M. Oskin
◽
F.T. Chong
◽
M. Farrens
Keyword(s):
Symbolic Simulation
Download Full-text
Related Documents
Cited By
References
Analysis of Switch-Level Faults by Symbolic Simulation
32nd Design Automation Conference
◽
10.1109/dac.1995.249972
◽
1995
◽
Author(s):
Lluis Ribas-Xirgo
Keyword(s):
Symbolic Simulation
Download Full-text
Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation
International Journal of Parallel Programming
◽
10.1007/s10766-005-8910-3
◽
2005
◽
Vol 33
(6)
◽
pp. 645-666
◽
Cited By ~ 15
Author(s):
Alfred Koelbl
◽
Carl Pixley
Keyword(s):
Formal Models
◽
Symbolic Simulation
◽
High Level
Download Full-text
Algorithmic Aspects of Linear Symbolic Simulation
Symbolic Analysis for Automated Design of Analog Integrated Circuits
◽
10.1007/978-1-4615-3962-9_4
◽
1991
◽
pp. 101-196
Author(s):
Georges Gielen
◽
Willy Sansen
Keyword(s):
Symbolic Simulation
Download Full-text
A SAT-Based Algorithm for Reparameterization in Symbolic Simulation
10.21236/ada461257
◽
2003
◽
Cited By ~ 3
Author(s):
Pankaj Chauhan
◽
Daniel Kroening
◽
Edmund Clarke
Keyword(s):
Symbolic Simulation
Download Full-text
On the Verification of a WiMax Design Using Symbolic Simulation
Electronic Proceedings in Theoretical Computer Science
◽
10.4204/eptcs.122.3
◽
2013
◽
Vol 122
◽
pp. 23-37
Author(s):
Salim Ismail Al-Akhras
◽
Sofiène Tahar
◽
Gabriela Nicolescu
◽
Michel Langevin
◽
Pierre Paulin
Keyword(s):
Symbolic Simulation
Download Full-text
Scalable Hardware Verification with Symbolic Simulation
10.1007/0-387-29906-8
◽
2006
◽
Keyword(s):
Hardware Verification
◽
Symbolic Simulation
◽
Scalable Hardware
Download Full-text
Symbolic Simulation-Checking of Dense-Time Automata
Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems
◽
10.1007/978-3-540-75454-1_25
◽
2007
◽
pp. 352-368
◽
Cited By ~ 3
Author(s):
Farn Wang
Keyword(s):
Symbolic Simulation
Download Full-text
Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies
10.1007/978-3-030-85172-9_14
◽
2021
◽
pp. 257-275
Author(s):
Rebecca Haehn
◽
Erika Ábrahám
◽
Nils Nießen
Keyword(s):
Symbolic Simulation
Download Full-text
Symbolic Simulation: An ACL2 Approach
Formal Methods in Computer-Aided Design - Lecture Notes in Computer Science
◽
10.1007/3-540-49519-3_22
◽
1998
◽
pp. 334-350
◽
Cited By ~ 16
Author(s):
J. Strother Moore
Keyword(s):
Symbolic Simulation
Download Full-text
Symbolic simulation techniques-state-of-the-art and applications
Sixth IEEE International High-Level Design Validation and Test Workshop
◽
10.1109/hldvt.2001.972806
◽
2002
◽
Cited By ~ 4
Author(s):
C. Blank
◽
H. Eveking
◽
J. Levihn
◽
G. Ritter
Keyword(s):
State Of The Art
◽
Symbolic Simulation
◽
Simulation Techniques
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close