[libre-riscv-dev] [Bug 368] New: Need one example unit test of how to run some assembly code "qemu vs simulator" rather than "qemu vs hardware"
bugzilla-daemon at libre-soc.org
bugzilla-daemon at libre-soc.org
Sun Jun 7 23:31:59 BST 2020
https://bugs.libre-soc.org/show_bug.cgi?id=368
Bug ID: 368
Summary: Need one example unit test of how to run some assembly
code "qemu vs simulator" rather than "qemu vs
hardware"
Product: Libre-SOC's first SoC
Version: unspecified
Hardware: PC
OS: Linux
Status: CONFIRMED
Severity: enhancement
Priority: ---
Component: Formal Verification
Assignee: lkcl at lkcl.net
Reporter: colepoirier at gmail.com
CC: libre-riscv-dev at lists.libre-riscv.org
NLnet milestone: ---
We need one example unit test of how to run some assembly code
"qemu vs simulator" rather than "qemu vs hardware"
or, even just "qemu with some asserts" but looking *exactly* like how
it's done in the simulator, right now.
and that ultimately it should be possible to have a runtime switch
(or a suite of tests) that allow us to verify *aaalll* the simulator
test_pipe_caller.py tests, in the following way:
* simulator vs qemu
* qemu vs hardware
* hardware vs simulator
later i would very much like to be able to add microwatt to that list.
<https://bugs.libre-soc.org/show_bug.cgi?id=325#c82>
--
You are receiving this mail because:
You are on the CC list for the bug.
More information about the libre-riscv-dev
mailing list