Factor out instruction generation and testing from simulation
[soc.git] / src / soc / decoder /
2020-03-19 Michael NolanFactor out instruction generation and testing from...
2020-03-19 Michael NolanCleanup test_decoder_gas.py
2020-03-19 Michael NolanAdd assertions for input registers
2020-03-19 Luke Kenneth Casso... fix silly errors in power_fieldsn.py
2020-03-19 Luke Kenneth Casso... invert bits of field in decoder (not instruction bits)
2020-03-18 Michael NolanBegin adding a test using GNU AS
2020-03-18 Michael NolanAdd proof that all other opcodes decode to INVALID
2020-03-18 Michael NolanFix bug where enum values weren't getting set to int
2020-03-18 Luke Kenneth Casso... use function which reverses bit-order
2020-03-18 Luke Kenneth Casso... comment reverse-order of bit-fields
2020-03-18 Luke Kenneth Casso... done, bugs.libre-riscv.org/show_bug.cgi?id=261
2020-03-18 Michael NolanCreate SPR enum from sprs.csv
2020-03-18 Michael NolanAdd more to decoder proof
2020-03-18 Michael NolanBegin adding proof for decoder stage 1
2020-03-18 Luke Kenneth Casso... add comment about SPRs CSV
2020-03-18 Luke Kenneth Casso... add comments
2020-03-18 Luke Kenneth Casso... import absolute paths
2020-03-11 Michael NolanAdd assertions that instruction fields are correct
2020-03-11 Michael NolanAdd test for remaining bits
2020-03-11 Michael NolanAdd tests for DecodeOut and DecodeRC
2020-03-11 Luke Kenneth Casso... store ra in intermediate, to avoid creation of decoding...
2020-03-10 Michael NolanAdd cases for DecodeB and DecodeC
2020-03-10 Michael NolanRefactor DecodeA test
2020-03-10 Michael NolanAdd proof for power_decoder2.DecodeA
2020-03-09 Michael NolanFix logical loop in DecodeA
2020-03-09 Michael NolanBegin adding proof for decoder2
2020-03-09 Michael NolanMigrate imports to use absolute imports
2020-03-09 Michael NolanFix test
2020-03-09 Luke Kenneth Casso... add __init__.py files to decoder
2020-03-09 Luke Kenneth Casso... move all source directories to soc so that "import...