February 2021 Archives by thread
Starting: Mon Feb 1 10:56:32 GMT 2021
Ending: Sun Feb 28 12:05:58 GMT 2021
Messages: 175
- [Libre-soc-bugs] [Bug 583] Implement simple VL for-loop in nMigen for TestIssuer
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 588] add SVP64 to PowerDecoder2
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 589] New: gigabit router asic
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 590] New: Formally verify experiments/icache.py
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 450] Create MMU from microwatt mmu.vhdl
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 469] Create D-cache from microwatt dcache.vhdl
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 591] New: Create yosys external cell wrapper for use by coriolis - DFF-SRAM block and Staf-SRAM blocks
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 581] power-gem5 needs upstream merging
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 442] Convert comp_unit_req_rel diagram to SVG
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 340] formal proof of POWER9 SHIFTROT pipeline needed
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 485] Create I-Cache from microwatt icache.vhdl
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 593] New: please revert removal of proof* from .gitignore
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 115] SIMD ALUs needed
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 167] a partitioned mux is needed
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 549] document the logical partitioned signal operators xor some and all
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 384] Documentation for the Libre-SOC POWER9 Core and internal architecture
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 594] New: create nmigen RFC for Dynamic Partitioned signals support
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 595] New: Convert image(jpg,...) to svg
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 595] Convert image(jpg,...) to svg
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 595] Convert image(jpg,...) to svg
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 595] Convert image(jpg,...) to svg
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 595] Convert image(jpg,...) to svg
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 595] Convert image(jpg,...) to svg
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 595] Convert image(jpg,...) to svg
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 595] Convert image(jpg,...) to svg
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 595] Convert image(jpg,...) to svg
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 595] Convert image(jpg,...) to svg
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 595] Convert image(jpg,...) to svg
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 595] Convert image(jpg,...) to svg
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 595] Convert image(jpg,...) to svg
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 595] Convert image(jpg,...) to svg
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 596] New: formal correctness proof for nmigen integration of Dynamic Partitioned Signal
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 565] Improve formal verification on PartitionedSignal
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 597] New: please keep to under 80 chars
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 580] PowerDecoder needs to redirect MMU SPRs to the MMU
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 517] Define JTAG pins and set up with litex for ulx3s85f
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 600] New: Fix MSB0 issues in the SVP64 Assembler, Simulator and Decoder
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 602] New: low performance bare minimum functionality SIMD emulator required
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 603] New: use SPR names/numbers from sprs.csv
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 604] New: ISACaller simulator needs RADIX MMU support
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 52] software simulator compliant with the latest SimpleV Vectorisation Standard
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 179] openpower eula is out, needs review
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 187] SimpleV vector operation semantics: reading scalar inputs before writing any outputs (deferred to Libre-SOC v2)
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 202] potential changes to LibreSOC HDL to suit coriolis2
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 164] BSP needed
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 389] Review all diagrams on wiki for translation into SVG
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 605] New: Extend ECP5_FPGA wiki page with JTAG testing/boot procedure for Libre-SOC test chip
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 606] New: PowerDecoder2 move DecodeCRIn/Out
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 383] Complete first functional POWER9 Core
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 586] microwatt SVP64-equivalent of decode1.vhdl to be autogenerated
bugzilla-daemon at libre-soc.org
- [Libre-soc-bugs] [Bug 607] New: unnecessary code added related to MMU in PowerDecoder2
bugzilla-daemon at libre-soc.org
Last message date:
Sun Feb 28 12:05:58 GMT 2021
Archived on: Sun Feb 28 12:05:59 GMT 2021
This archive was generated by
Pipermail 0.09 (Mailman edition).