January 2021 Archives by thread
Starting: Sat Jan 2 13:20:53 GMT 2021
Ending: Sun Jan 31 15:36:55 GMT 2021
Messages: 204
- [Libre-soc-bugs] [Bug 336] ALU CompUnit needs to recognise that RA (src1) can be zero
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 565] New: Improve formal verification on PartitionedSignal
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 132] SIMD-like nmigen signal for partitioning
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 566] New: Implement ECC error-correcting ram without needing extra i/o pins
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 178] first coriolis2 tutorial, workflow and "test project" page
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 158] NLNet 2019 Formal Correctness Proofs toplevel 2019-10-032
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 194] A nmigen-based RISC-V Formal correctness proof suite is needed
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 575] New: PartitionedEqGtLe needs to use RippleLSB
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 176] partitioned dynamic bool/all/any/xor operators
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 558] gcc SV intrinsics concept
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 576] New: fosdem stand needed
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 244] Wishbone B4 Streaming Specification enhancement.
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 245] Wisbone B4 Streaming Reference Implementations with unit tests
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 246] Wishbone B4 Streaming I2S peripheral for LibreSOC
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 458] PartitionedSignal needs nmigen constructs "m.If", Switch etc
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 362] improvements to nmigen and yosys
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 196] Formal correctness proof needed for the IEEE754 FPU
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 230] Video opcode development and discussion
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 577] New: gcc compiler, binutils and assembly macros for OpenPOWER-SV
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 578] New: python-based svp64 "generator" class
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 579] New: c/c++ macros for inline assembly supporting svp64
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 580] New: PowerDecoder needs to redirect MMU SPRs to the MMU
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 581] New: power-gem5 needs upstream merging
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 241] OpenPOWER SImulation is needed of standards
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 502] determine SRAM block size and implement it
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 582] New: libre-soc.org not accessible over ipv6
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 583] New: Implement simple VL for-loop in nMigen for TestIssuer
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 586] New: microwatt SVP64-equivalent of decode1.vhdl to be autogenerated
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 587] New: create setvl pseudocode, v3.0B fields, SVL-Form, and csv file
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 587] create setvl pseudocode, v3.0B fields, SVL-Form, and csv file
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 587] create setvl pseudocode, v3.0B fields, SVL-Form, and csv file
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 587] create setvl pseudocode, v3.0B fields, SVL-Form, and csv file
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 587] create setvl pseudocode, v3.0B fields, SVL-Form, and csv file
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 587] create setvl pseudocode, v3.0B fields, SVL-Form, and csv file
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 588] New: add SVP64 to PowerDecoder2
bugzilla-daemon at libre-soc.org
Last message date:
Sun Jan 31 15:36:55 GMT 2021
Archived on: Sun Jan 31 15:36:57 GMT 2021
This archive was generated by
Pipermail 0.09 (Mailman edition).