git.libre-soc.org Git - soc.git/search

2020-03-18	Michael Nolan	Add more to decoder proof	commit \| commitdiff \| tree
2020-03-18	Michael Nolan	Begin adding proof for decoder stage 1	commit \| commitdiff \| tree
2020-03-11	Michael Nolan	Add assertions that instruction fields are correct	commit \| commitdiff \| tree
2020-03-11	Michael Nolan	Add test for remaining bits	commit \| commitdiff \| tree
2020-03-11	Michael Nolan	Add tests for DecodeOut and DecodeRC	commit \| commitdiff \| tree
2020-03-10	Michael Nolan	Add cases for DecodeB and DecodeC	commit \| commitdiff \| tree
2020-03-10	Michael Nolan	Refactor DecodeA test	commit \| commitdiff \| tree
2020-03-10	Michael Nolan	Add proof for power_decoder2.DecodeA	commit \| commitdiff \| tree
2020-03-09	Michael Nolan	Fix logical loop in DecodeA	commit \| commitdiff \| tree
2020-03-09	Michael Nolan	Begin adding proof for decoder2	commit \| commitdiff \| tree
2020-03-09	Michael Nolan	Migrate imports to use absolute imports	commit \| commitdiff \| tree
2020-03-09	Michael Nolan	Fix test	commit \| commitdiff \| tree
2020-03-04	Michael Nolan	Add suffix handling back in	commit \| commitdiff \| tree
2020-03-04	Michael Nolan	Generate ilang for whole decoder	commit \| commitdiff \| tree
2020-03-04	Michael Nolan	Add tests for minor_58 and minor_62	commit \| commitdiff \| tree
2020-03-04	Michael Nolan	Hierarchial decoder semi-working	commit \| commitdiff \| tree
2020-03-04	Michael Nolan	Add bit selectors for most of the tests	commit \| commitdiff \| tree
2020-03-04	Michael Nolan	Change decoder to take the bits to select of the opcode...	commit \| commitdiff \| tree
2020-03-02	Michael Nolan	Add recursive decoding	commit \| commitdiff \| tree
2020-03-02	Michael Nolan	Add support for hierarchical decoding	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add tests for minor_30 and minor_31 decoding tables	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add default case to decoder	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add fields from the ones in IBM's Microwatt	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add decoder/test for minor_19 field	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add code to download csv files from wiki if they don...	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Move enums to a separate file	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Correct cry in field from a single bit to an enum	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Cleanup testbench, add messages to assertions	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add in remaining fields from major decoder	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add signals for single bit flags in major.csv	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add input and output register selector fields	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Minor cleanup	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Move decoder.py to power_major_decoder.py	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Add internal op field to major decoder	commit \| commitdiff \| tree
2020-02-29	Michael Nolan	Begin adding power ISA decoder	commit \| commitdiff \| tree

RSS Atom