https://github.com/agra-uni-bremen/symex_processor_verification
https://github.com/agra-uni-bremen/symex_processor_verification
Science Score: 13.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
○codemeta.json file
-
○.zenodo.json file
-
✓DOI references
Found 3 DOI reference(s) in README -
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (7.4%) to scientific vocabulary
Repository
Basic Info
- Host: GitHub
- Owner: agra-uni-bremen
- License: mit
- Language: C++
- Default Branch: main
- Size: 63.5 KB
Statistics
- Stars: 5
- Watchers: 7
- Forks: 2
- Open Issues: 0
- Releases: 0
Metadata Files
README.md
Symbolic Processor Verification
This verification approach implementation is based on:
Quick Guide
Clone Repo
console
foo@bar:~$ git clone git@gitlab.informatik.uni-bremen.de:processor_verification/symex_processor_verification.git --recursive
Build Docker Container
console
foo@bar:~$ make build
Run Docker Container
console
foo@bar:~$ make run
Build Bytecode / LLVM IR in Docker Container (Optional)
console
klee@klee:~$ cd src && make bytecode
Run KLEE in Docker Container
console
klee@klee:~$ cd src && make
How to Cite
Further details are described in the folliwng publication: publication:
@INPROCEEDINGS{nbruns2023symex,
author={Bruns, Niklas and Herdt, Vladimir and Drechsler, Rolf},
booktitle={2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)},
title={Processor Verification using Symbolic Execution: A RISC-V Case-Study},
year={2023},
volume={},
number={},
pages={1-6},
doi={10.23919/DATE56975.2023.10137202}
}
Acknowledgements
This work was supported in part by the German Federal Ministry of Education and Research (BMBF) within the project Scale4Edge under contract no. 16ME0127, within the project VerSys under contract no. 01IW1900, and within the project ECXL no. 01IW22002.
Owner
- Name: agra-uni-bremen
- Login: agra-uni-bremen
- Kind: organization
- Website: https://agra.informatik.uni-bremen.de/
- Repositories: 53
- Profile: https://github.com/agra-uni-bremen
GitHub Events
Total
- Watch event: 1
Last Year
- Watch event: 1
Dependencies
- klee/klee 2.3 build