July 2020 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Wed Jul 1 02:04:21 BST 2020
Ending: Fri Jul 31 19:46:22 BST 2020
Messages: 612

• [Libre-soc-bugs] test   Alain D D Williams
• [Libre-soc-bugs] test - II   Alain D D Williams
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 70] evaluate Bus Architectures   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 70] evaluate Bus Architectures   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 409] New: deal with illegal instruction in simulator and hardware   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 410] New: Design Bus Protocol suitable for speculative execution   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 410] Design Bus Protocol suitable for speculative execution   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 411] New: set up sphinx for all repos and upload to website   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 412] New: set up litex for peripherals and linking to core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] New: DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 414] New: debug port needed (JTAG, other frontend)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 415] New: miscellaneous POWER9 instructions needed: OP_NOP, ATTN, ILLEGAL and unit tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 416] New: dec and tb POWER9 SPRs needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 416] dec and tb POWER9 SPRs needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] New: FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 323] create POWER9 MUL pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] New: SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 419] New: MUL pipeline formal proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 419] MUL pipeline formal proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 420] New: DIV pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 420] DIV pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 315] SPR Pipeline needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 348] POWER9 SPR pipeline needed   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 421] New: TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 415] miscellaneous POWER9 instructions needed: OP_NOP, ATTN, ILLEGAL and unit tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 415] miscellaneous POWER9 instructions needed: OP_NOP, ATTN, ILLEGAL and unit tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 422] New: Migrate away from nmigen Record   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 66] a nmigen "Object" is needed that acts like a multiply-inheritable python class   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 422] Migrate away from nmigen Record   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 422] Migrate away from nmigen Record   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 422] Migrate away from nmigen Record   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 422] Migrate away from nmigen Record   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 422] Migrate away from nmigen Record   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 422] Migrate away from nmigen Record   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 422] Migrate away from nmigen Record   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 195] Formal correctness framework is needed for Power ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 323] create POWER9 MUL pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 422] Migrate away from nmigen Record   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 423] New: st*cx. needs to be able to update CR0   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 424] New: need to respect 32/64 bit mode   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 425] New: DIV overflow not being calculated correctly   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 425] DIV overflow not being calculated correctly   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 323] create POWER9 MUL pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 426] New: LDST sign-extension support needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 427] New: LDST cache-inhibit instructions needed (l*cix, st*cix)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 11] Wishbone Interface / Bridge   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 11] Wishbone Interface / Bridge   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 349] privileged-instruction decoding function needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 404] adding nmigen-soc as a dependency needs documentation updated   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 404] adding nmigen-soc as a dependency needs documentation updated   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 359] cut down on wires between decode and function units   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 339] create POWER9 ROTATE (SHIFTROT) pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 305] Create Pipelined ALU similar to alu_hier.py   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 195] Formal correctness framework is needed for Power ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 305] Create Pipelined ALU similar to alu_hier.py   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 306] Formal Correctness Proof for ALU pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 313] Create Branch Pipeline for POWER9   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 314] Create POWER9 Condition Register pipeline   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 195] Formal correctness framework is needed for Power ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 314] Create POWER9 Condition Register pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 332] Formal correctness proof needed for CR pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 311] countzero function for Logic Pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 312] Formal Correctness Proof for CountZero needed (basically PriorityEncoder)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 313] Create Branch Pipeline for POWER9   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 335] Formal Correctness Proof for Branch pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 331] Formal Correctness Proof for LOGICAL pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 195] Formal correctness framework is needed for Power ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 330] create POWER9 Logic Pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 330] create POWER9 Logic Pipeline   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 345] define POWER9 regfiles   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 305] Create Pipelined ALU similar to alu_hier.py   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 341] unit tests needed for soc.fu.compunits (shared with soc.fu.*/test_pipe_caller.py)   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 393] Hook up augmented-Wishbone Memory Bus to LDSTCompUnit (via PortInterface)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 11] Wishbone Interface / Bridge   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 346] simplified test link between compunits and regfile   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 339] create POWER9 ROTATE (SHIFTROT) pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 344] missing mtmsr and mfsprd   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 404] adding nmigen-soc as a dependency needs documentation updated   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 404] adding nmigen-soc as a dependency needs documentation updated   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 349] privileged-instruction decoding function needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 344] missing mtmsr and mfsprd   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 348] POWER9 SPR pipeline needed   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 349] privileged-instruction decoding function needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 349] privileged-instruction decoding function needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 428] New: create separate MSR regfile   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 409] deal with illegal instruction in simulator and hardware   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 429] New: pipeline main_stage formal verification does not check ctx fields fully   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 195] Formal correctness framework is needed for Power ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 306] Formal Correctness Proof for ALU pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 305] Create Pipelined ALU similar to alu_hier.py   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 306] Formal Correctness Proof for ALU pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 430] New: default practice is to use "python setup.py develop"   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 430] default practice is to use "python setup.py develop"   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 429] pipeline main_stage formal verification does not check ctx fields fully   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 429] pipeline main_stage formal verification does not check ctx fields fully   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 430] default practice is to use "python setup.py develop"   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 430] default practice is to use "python setup.py develop"   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 429] pipeline main_stage formal verification does not check ctx fields fully   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 429] pipeline main_stage formal verification does not check ctx fields fully   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 429] pipeline main_stage formal verification does not check ctx fields fully   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 431] New: need to move FPPipeContext into nmutil   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 429] pipeline main_stage formal verification does not check ctx fields fully   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 431] need to move FPPipeContext into nmutil   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 431] need to move FPPipeContext into nmutil   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 431] need to move FPPipeContext into nmutil   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 432] New: mulld pseudocode overflow calculation incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 349] privileged-instruction decoding function needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 419] MUL pipeline formal proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] New: building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 432] mulld pseudocode overflow calculation incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 349] privileged-instruction decoding function needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 195] Formal correctness framework is needed for Power ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 315] SPR Pipeline needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 348] POWER9 SPR pipeline needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 429] pipeline main_stage formal verification does not check ctx fields fully   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 429] pipeline main_stage formal verification does not check ctx fields fully   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 434] New: remove mask_wid from TestMemPspec   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 435] New: PC and MSR need to be in the "state" (Decode2Execute1Type)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 348] POWER9 SPR pipeline needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 355] game theory "state" packet engine needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 435] PC and MSR need to be in the "state" (Decode2Execute1Type)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 410] Design Bus Protocol suitable for speculative execution   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 410] Design Bus Protocol suitable for speculative execution   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 384] Documentation for the Libre-SOC POWER9 Core and internal architecture   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 199] Layout using coriolis2 main core, 180nm   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 435] PC and MSR need to be in the "state" (Decode2Execute1Type)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 313] Create Branch Pipeline for POWER9   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 435] PC and MSR need to be in the "state" (Decode2Execute1Type)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 335] Formal Correctness Proof for Branch pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 313] Create Branch Pipeline for POWER9   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 313] Create Branch Pipeline for POWER9   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 335] Formal Correctness Proof for Branch pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 356] fu POWER9 pipeline unit tests need to test RA=0   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 436] New: isa simulator appears to calculate wrong result for test_divwuo_regression_1   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 413] DIV "trial" blocks are too large   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 436] isa simulator appears to calculate wrong result for test_divwuo_regression_1   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 437] New: div test cases coordinated across different software/hdl   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 437] div test cases coordinated across different software/hdl   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 438] New: add caching/memoization to soc.simulator.program.Program   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 439] New: generated op_divde appears to be incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 439] generated op_divde appears to be incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 439] generated op_divde appears to be incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 439] generated op_divde appears to be incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 436] isa simulator appears to calculate wrong result for test_divwuo_regression_1   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 436] isa simulator appears to calculate wrong result for test_divwuo_regression_1   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 417] FSM-based ALU example needed (compliant with ALU CompUnit)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 439] generated op_divde appears to be incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 438] add caching/memoization to soc.simulator.program.Program   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 440] New: Changes committed to submodule need to be pushed to submodule's upstream repo   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 324] create POWER DIV pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 323] create POWER9 MUL pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 441] New: Avoid unit tests that depend on other unit tests being run first   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   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 340] formal proof of POWER9 SHIFTROT pipeline needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 70] evaluate Bus Architectures   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 397] design and discuss user-tag flags in wishbone to provide phase 1 / 2 "speculative" memory accesses   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 410] Design Bus Protocol suitable for speculative execution   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 442] New: Convert comp_unit_req_rel diagram to SVG   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 442] Convert comp_unit_req_rel diagram to SVG   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 442] Convert comp_unit_req_rel diagram to SVG   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 407] XICS interrupt controller is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 404] adding nmigen-soc as a dependency needs documentation updated   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 430] default practice is to use "python setup.py develop"   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 439] generated op_divde appears to be incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 439] generated op_divde appears to be incorrect   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 440] Changes committed to submodule need to be pushed to submodule's upstream repo   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 291] HDL Workflow and Coriolis2 chroot automated setup scripts   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 316] bperm TODO   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 70] evaluate Bus Architectures   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 70] evaluate Bus Architectures   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 316] bperm TODO   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 340] formal proof of POWER9 SHIFTROT pipeline needed   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 441] Avoid unit tests that depend on other unit tests being run first   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first   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 364] CXXRTL Python Interface   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 441] Avoid unit tests that depend on other unit tests being run first   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 412] set up litex for peripherals and linking to core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 345] define POWER9 regfiles   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 346] simplified test link between compunits and regfile   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 316] bperm TODO   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 443] New: Bperm optimization   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 443] Bperm optimization   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 366] Create new buzilla product "Systemes Libres Organization"   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 366] Create new buzilla product "Systemes Libres Organization"   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 367] Setup weekly 30 min organizational video call like OPF Virtual Coffee Calls   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 375] Finding new project members who can help with complex detailed work such as LDSTCompUnit   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 285] bugzilla to be made available "offline"   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 375] Finding new project members who can help with complex detailed work such as LDSTCompUnit   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 378] Additional project management infrastructure   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 70] evaluate Bus Architectures   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 411] set up sphinx for all repos and upload to website   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 375] Finding new project members who can help with complex detailed work such as LDSTCompUnit   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 375] Finding new project members who can help with complex detailed work such as LDSTCompUnit   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 375] Finding new project members who can help with complex detailed work such as LDSTCompUnit   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 375] Finding new project members who can help with complex detailed work such as LDSTCompUnit   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 433] building pia (power instruction analyser) needs to be documented   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 375] Finding new project members who can help with complex detailed work such as LDSTCompUnit   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 394] Reach out to developers of 'BlackParrot' RV64GC Multicore SoC   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 401] Convert Memory Architecture diagram from hand-drawn to editable SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 444] New: Convert compunit_multi_rw diagram to SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 444] Convert compunit_multi_rw diagram to SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 444] Convert compunit_multi_rw diagram to SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 444] Convert compunit_multi_rw diagram to SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 444] Convert compunit_multi_rw diagram to SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 407] XICS interrupt controller is needed   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 340] formal proof of POWER9 SHIFTROT pipeline needed   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 340] formal proof of POWER9 SHIFTROT pipeline needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 340] formal proof of POWER9 SHIFTROT pipeline needed   bugzilla-daemon at libre-soc.org

Last message date: Fri Jul 31 19:46:22 BST 2020
Archived on: Fri Jul 31 19:46:24 BST 2020

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...