projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Allow the formal engine to perform a same-cycle result in the ALU
[soc.git] / src / soc / fu / trap /
2022-07-04 Luke Kenneth Casso... add signal for resetting trap internal state (kaivb... tree | commitdiff
2022-07-04 Luke Kenneth Casso... set msr_o.data not msr_o Record in trap main_stage.py tree | commitdiff
2022-06-26 Luke Kenneth Casso... adapt TRAP function in main state pipeline to put KAIVB tree | commitdiff
2022-06-26 Luke Kenneth Casso... store KAIVB SPR 850 in TRAP Pipeline tree | commitdiff
2022-06-26 Luke Kenneth Casso... update trap test_pipe_caller.py to use up-to-date test... tree | commitdiff
2022-06-26 Luke Kenneth Casso... convert trap test_pipe_caller.py to consistent format tree | commitdiff
2022-02-27 Luke Kenneth Casso... convert from public static functions/properties for... tree | commitdiff
2022-02-13 Luke Kenneth Casso... Revert "remove dummy trap pipeline" tree | commitdiff
2022-02-13 Luke Kenneth Casso... Revert "doh" tree | commitdiff
2022-01-31 Luke Kenneth Casso... doh tree | commitdiff
2022-01-31 Luke Kenneth Casso... remove dummy trap pipeline tree | commitdiff
2022-01-25 Luke Kenneth Casso... LDSTException now passing bits of SRR1 around to the... tree | commitdiff
2022-01-24 Luke Kenneth Casso... bool test on traptype to tree | commitdiff
2022-01-19 Luke Kenneth Casso... ISI (0x400) trap is the only one that puts memory-based... tree | commitdiff
2022-01-18 Luke Kenneth Casso... comments on SRR1 in trap tree | commitdiff
2022-01-18 Luke Kenneth Casso... preserve bits of SRR1 on a TRAP (including all interrup... tree | commitdiff
2022-01-17 Luke Kenneth Casso... fix hrfid and mtmsrd so that it is identical to microwatt tree | commitdiff
2021-12-22 Luke Kenneth Casso... use correct X-Form L field in OP_MTMSRD tree | commitdiff
2021-12-22 Luke Kenneth Casso... check problem state in OP_MTMSRD from original reg... tree | commitdiff
2021-12-09 Jacob Lifshayadd parent_pspec everywhere tree | commitdiff
2021-12-09 Jacob Lifshayformat code tree | commitdiff
2021-09-03 Luke Kenneth Casso... another batch of ready/valid i/o prefix-suffix swaps tree | commitdiff
2021-08-24 Luke Kenneth Casso... replace data_o with o_data and data_i with i_data as... tree | commitdiff
2021-07-14 Luke Kenneth Casso... update SVSTATE to 64 bit length (fortunately very easy) tree | commitdiff
2021-05-04 Luke Kenneth Casso... add SVSTATE (SVSRR0) to TRAP pipeline tree | commitdiff
2021-05-04 Luke Kenneth Casso... adding fast3 SPR to Trap pipeline and unit test tree | commitdiff
2021-05-04 Luke Kenneth Casso... rename IntegerData to FUBaseData tree | commitdiff
2021-04-26 Luke Kenneth Casso... hook up MSR into MMU (TODO, use a lot less bits) tree | commitdiff
2021-04-23 Luke Kenneth Casso... add trap test cases tree | commitdiff
2021-04-23 Luke Kenneth Casso... import from openpower.endian tree | commitdiff
2021-04-23 Luke Kenneth Casso... use openpower.test.common tree | commitdiff
2021-04-23 Luke Kenneth Casso... more openpower-isa conversion tree | commitdiff
2021-04-23 Luke Kenneth Casso... move over to from openpower imports tree | commitdiff
2020-12-13 Cesar StraussIgnore formal verification output in the source directory tree | commitdiff
2020-10-16 Luke Kenneth Casso... experiment swapping dummy trap stage over to input tree | commitdiff
2020-10-16 Luke Kenneth Casso... add extra (test dummy stage in trap to see if combinato... tree | commitdiff
2020-10-06 Luke Kenneth Casso... skip Decode2ToOperand from PowerDecodeSubset tree | commitdiff
2020-10-06 Luke Kenneth Casso... add SRR1 setting for LDST memory exception trap tree | commitdiff
2020-10-06 Luke Kenneth Casso... passing LDSTException over to Trap Pipeline tree | commitdiff
2020-10-06 Luke Kenneth Casso... add LDSTException decode/handling in PowerDecoder2 tree | commitdiff
2020-09-26 Cesar StraussConvert a few more tests to be able to use cxxsim tree | commitdiff
2020-09-06 Luke Kenneth Casso... comment, nothing unusual when Trap Type is DEC tree | commitdiff
2020-09-04 Luke Kenneth Casso... adding option to include XICS external interrupts. tree | commitdiff
2020-08-14 Luke Kenneth Casso... hrfid unit test sets up HSRR0 and HSRR1 tree | commitdiff
2020-08-14 Luke Kenneth Casso... hack to get hrfid not to alter msr 51 tree | commitdiff
2020-08-14 Luke Kenneth Casso... add hrfid unit test tree | commitdiff
2020-08-11 Luke Kenneth Casso... reduce regfile ports by creating separate STATE regfile tree | commitdiff
2020-08-11 Luke Kenneth Casso... whoops fix change of variable (state) msr/pc tree | commitdiff
2020-08-04 Samuel A. Falvo IIRemove XXX; this seems done otherwise. tree | commitdiff
2020-07-29 Jacob Lifshayadd __init__.py to all source directories tree | commitdiff
2020-07-29 Jacob Lifshayformat some tests tree | commitdiff
2020-07-28 Luke Kenneth Casso... tidyup/comments in trap proof tree | commitdiff
2020-07-27 Luke Kenneth Casso... fix trap proof, and trap main_stage, and pseudocode... tree | commitdiff
2020-07-27 Luke Kenneth Casso... shorten expected_ to exp_, gets line-length down tree | commitdiff
2020-07-26 Samuel A. Falvo IIMTMSR(D) properties. tree | commitdiff
2020-07-26 Luke Kenneth Casso... convert TRAP test to accumulator style tree | commitdiff
2020-07-25 Luke Kenneth Casso... update comment-headers (TODO include page numbers to... tree | commitdiff
2020-07-25 Luke Kenneth Casso... make trap proof section more readable tree | commitdiff
2020-07-24 Samuel A. Falvo IIProperties for MFMSR tree | commitdiff
2020-07-24 Samuel A. Falvo IIReorganize code layout tree | commitdiff
2020-07-24 Samuel A. Falvo IIWIP: SC properties more closely match doc'd behavior tree | commitdiff
2020-07-24 Samuel A. Falvo IIWIP: addressing code review, restoring proofs, etc. tree | commitdiff
2020-07-24 Luke Kenneth Casso... got fed up with bit-slice ordering crap. cut it out tree | commitdiff
2020-07-24 Luke Kenneth Casso... code review comments for trap and proof tree | commitdiff
2020-07-24 Samuel A. Falvo IIRefactorin of common code tree | commitdiff
2020-07-24 Samuel A. Falvo IIAddress code review comments tree | commitdiff
2020-07-22 Jacob LifshayMerge remote-tracking branch 'origin/master' tree | commitdiff
2020-07-22 Jacob Lifshayformat code tree | commitdiff
2020-07-22 Luke Kenneth Casso... whoops forgot field accessor tree | commitdiff
2020-07-22 Luke Kenneth Casso... whoops typo, 63-start not 3-start (doh) tree | commitdiff
2020-07-22 Luke Kenneth Casso... field number ordering wrong way round? tree | commitdiff
2020-07-22 Luke Kenneth Casso... syntax error tree | commitdiff
2020-07-22 Luke Kenneth Casso... review trap main_stage.py modifications: we are not... tree | commitdiff
2020-07-22 Luke Kenneth Casso... add comment headings with spec page numbers tree | commitdiff
2020-07-22 Luke Kenneth Casso... comment on op.insn ordering tree | commitdiff
2020-07-22 Luke Kenneth Casso... code-shuffle, add comments tree | commitdiff
2020-07-22 Luke Kenneth Casso... add TT.size and use it in PowerDecoder and trap input... tree | commitdiff
2020-07-22 Luke Kenneth Casso... inline comments in trap proof tree | commitdiff
2020-07-22 Samuel A. Falvo IIComplete FV properties for OP_TRAP instructions. tree | commitdiff
2020-07-22 Samuel A. Falvo IIPEP8 compliance tree | commitdiff
2020-07-21 Samuel A. Falvo IICompleted SC FV properties tree | commitdiff
2020-07-21 Samuel A. Falvo IIRefine properties to comply with spec tree | commitdiff
2020-07-21 Samuel A. Falvo IIFix where msr_i gets its value from tree | commitdiff
2020-07-21 Samuel A. Falvo IIMerge in recent updates to TRAP FV properties. tree | commitdiff
2020-07-21 Luke Kenneth Casso... move cia and msr to trap input record tree | commitdiff
2020-07-21 Luke Kenneth Casso... add msr exception bits setting function in hardware tree | commitdiff
2020-07-21 Luke Kenneth Casso... corrections to trap proof see tree | commitdiff
2020-07-21 Luke Kenneth Casso... use alias for msr_i in trap proof tree | commitdiff
2020-07-21 Luke Kenneth Casso... correct trap spec page interrupt ref tree | commitdiff
2020-07-20 Samuel A. Falvo IIRework SC properties to conform to style tree | commitdiff
2020-07-20 Samuel A. Falvo IIFormal properties for RFID. tree | commitdiff
2020-07-18 Luke Kenneth Casso... whoops use slice not range tree | commitdiff
2020-07-18 Luke Kenneth Casso... syntax error tree | commitdiff
2020-07-18 Luke Kenneth Casso... add comment and copy of pseudo-code for OP_RFID into... tree | commitdiff
2020-07-18 Luke Kenneth Casso... review of OP_RFID showed up some errors tree | commitdiff
2020-07-18 Luke Kenneth Casso... corrections to trap main_stage.py OP_RFID according... tree | commitdiff
2020-07-18 Samuel A. Falvo IIWIP: FV failing for unknown reasons. tree | commitdiff
2020-07-18 Jacob LifshayMerge branch 'master' of ssh://git.libre-riscv.org... tree | commitdiff
2020-07-18 Samuel A. Falvo IIFailing test: fast1/fast2 vs srr0/srr1? on trap pipe tree | commitdiff
2020-07-18 Samuel A. Falvo IIforgot to clean up workspace in source tree | commitdiff
next