HybridVerifier: A Cross-Platform Verification Framework for Instruction Set Simulators

Maxiwell Garcia; Emilio Francesquini; Rodolfo Azevedo; Sandro Rigo

doi:10.1109/les.2016.2626980

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

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