Login / Signup
Enhancing Evaluation and Feedback in Computer Organization Labs with an Automated RISC-V Processor Verification Framework.
Yichuan Gao
Ziang Liu
Shanshan Li
Weidong Liu
Published in:
FIE (2023)
Keyphrases
</>
computer architecture
evaluation framework
information systems
probabilistic model
main contribution
model checking
conceptual framework
computer technology
evaluation method
semi automated
systems development