ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
HybridVerifier: A Cross-Platform Verification Framework for Instruction Set Simulators
IEEE Embedded Systems Letters
◽
10.1109/les.2016.2626980
◽
2017
◽
Vol 9
(2)
◽
pp. 25-28
◽
Cited By ~ 2
Author(s):
Maxiwell Garcia
◽
Emilio Francesquini
◽
Rodolfo Azevedo
◽
Sandro Rigo
Keyword(s):
Instruction Set
◽
Cross Platform
◽
Instruction Set Simulators
Download Full-text
Related Documents
Cited By
References
Constructing Portable Compiled Instruction-set Simulators-An ADL-driven Approach
Proceedings of the Design Automation & Test in Europe Conference
◽
10.1109/date.2006.244006
◽
2006
◽
Cited By ~ 21
Author(s):
J. D'Errico
◽
Wei Qin
Keyword(s):
Instruction Set
◽
Instruction Set Simulators
Download Full-text
Quantitative global dataflow analysis on virtual instruction set simulators for hardware/software co-design
2008 IEEE International Conference on Computer Design
◽
10.1109/iccd.2008.4751888
◽
2008
◽
Cited By ~ 1
Author(s):
Carsten Gremzow
Keyword(s):
Instruction Set
◽
Dataflow Analysis
◽
Virtual Instruction
◽
Instruction Set Simulators
Download Full-text
Memory access optimizations in instruction-set simulators
Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES+ISSS '05
◽
10.1145/1084834.1084895
◽
2005
◽
Cited By ~ 1
Author(s):
Mehrdad Reshadi
◽
Prabhat Mishra
Keyword(s):
Memory Access
◽
Instruction Set
◽
Instruction Set Simulators
Download Full-text
Use of instruction set simulators to evaluate the LOW RISC
ACM SIGARCH Computer Architecture News
◽
10.1145/25372.25379
◽
1987
◽
Vol 15
(1)
◽
pp. 63-67
Author(s):
Brian Short
Keyword(s):
Instruction Set
◽
Instruction Set Simulators
Download Full-text
Verifying Instruction Set Simulators using Coverage-guided Fuzzing*
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)
◽
10.23919/date.2019.8714912
◽
2019
◽
Cited By ~ 6
Author(s):
Vladimir Herdt
◽
Daniel Grose
◽
Hoang M. Le
◽
Rolf Drechsler
Keyword(s):
Instruction Set
◽
Instruction Set Simulators
Download Full-text
Integration of instruction set simulators into SystemC high level models
Proceedings Euromicro Symposium on Digital System Design. Architectures, Methods and Tools
◽
10.1109/dsd.2002.1115360
◽
2003
◽
Cited By ~ 6
Author(s):
I. Oussorov
◽
W. Raab
◽
U. Hachmann
◽
A. Kravtsov
Keyword(s):
Instruction Set
◽
High Level
◽
Instruction Set Simulators
Download Full-text
Statistical Performance Modeling in Functional Instruction Set Simulators
ACM Transactions on Embedded Computing Systems
◽
10.1145/2180887.2180899
◽
2012
◽
Vol 11S
(1)
◽
pp. 1-22
Author(s):
Björn Franke
Keyword(s):
Performance Modeling
◽
Instruction Set
◽
Instruction Set Simulators
Download Full-text
Using continuous statistical machine learning to enable high-speed performance prediction in hybrid instruction-/cycle-accurate instruction set simulators
Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis - CODES+ISSS '09
◽
10.1145/1629435.1629478
◽
2009
◽
Cited By ~ 2
Author(s):
Daniel Christopher Powell
◽
Björn Franke
Keyword(s):
Machine Learning
◽
Performance Prediction
◽
High Speed
◽
Instruction Set
◽
Statistical Machine Learning
◽
Hybrid Instruction
◽
Speed Performance
◽
Instruction Set Simulators
Download Full-text
Pydgin: generating fast instruction set simulators from simple architecture descriptions with meta-tracing JIT compilers
2015 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)
◽
10.1109/ispass.2015.7095811
◽
2015
◽
Cited By ~ 2
Author(s):
Derek Lockhart
◽
Berkin Ilbeyi
◽
Christopher Batten
Keyword(s):
Instruction Set
◽
Instruction Set Simulators
Download Full-text
Automated generation of efficient instruction decoders for Instruction Set Simulators
2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
◽
10.1109/iccad.2013.6691197
◽
2013
◽
Cited By ~ 2
Author(s):
Nicolas Fournel
◽
Luc Michel
◽
Frederic Petrot
Keyword(s):
Instruction Set
◽
Automated Generation
◽
Instruction Set Simulators
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close