* [libre-riscv-dev] daily kan-ban update 27may2020 @ 2020-05-27 12:25 Luke Kenneth Casson Leighton 2020-05-27 16:35 ` Cole Poirier 2020-05-27 17:29 ` Tobias Platen 0 siblings, 2 replies; 4+ messages in thread From: Luke Kenneth Casson Leighton @ 2020-05-27 12:25 UTC (permalink / raw) To: Libre-RISCV General Development yesterday: * altered VirtualRegPort to simplify it and got a proof of concept unit test, enough to be happy to move on * added CR and XER regfiles (using VirtualRegPort) and also a Fast Regfile (PC, LR, CTR, MSR). the Fast regfile is going to be a handful. 3R3W (maybe more), no way we can use SRAMs. morning: * reviewed Tobias's DataMerger class. principle looks good. * answered Cole about regfile proofs. we work on them together. * reviewed Systemes Libre Company. today: * collaborate with Cole with regfile proofs * help Cesar with parallel compunit test * read proof_fu.py again * do a unit test similar to test_pipe_caller.py which uses MultiCompUnit derivatives. -- --- crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68 _______________________________________________ libre-riscv-dev mailing list libre-riscv-dev@lists.libre-riscv.org http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [libre-riscv-dev] daily kan-ban update 27may2020 2020-05-27 12:25 [libre-riscv-dev] daily kan-ban update 27may2020 Luke Kenneth Casson Leighton @ 2020-05-27 16:35 ` Cole Poirier 2020-05-27 17:29 ` Tobias Platen 1 sibling, 0 replies; 4+ messages in thread From: Cole Poirier @ 2020-05-27 16:35 UTC (permalink / raw) To: Libre-RISCV General Development; +Cc: Libre-RISCV General Development Yesterday: Studied virtual_port.py to understand nmigen, hdl, and hardware better because its the full implementation of something I tried to implement but really struggled to understand. Being able to compare my effort on this to the end product is nearly as helpful to my learning as was the tremendous amount of help Michael and Luke provided working through writing bpermd.py and proof_bpermd.py. Thank you. I also started working through the very basic first assertions for the formal proof of Register, RegFile, and RegFileArray from regfile/regfile.py, which I will work on with Luke today. Cole _______________________________________________ libre-riscv-dev mailing list libre-riscv-dev@lists.libre-riscv.org http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [libre-riscv-dev] daily kan-ban update 27may2020 2020-05-27 12:25 [libre-riscv-dev] daily kan-ban update 27may2020 Luke Kenneth Casson Leighton 2020-05-27 16:35 ` Cole Poirier @ 2020-05-27 17:29 ` Tobias Platen 2020-05-27 18:42 ` Luke Kenneth Casson Leighton 1 sibling, 1 reply; 4+ messages in thread From: Tobias Platen @ 2020-05-27 17:29 UTC (permalink / raw) To: libre-riscv-dev morning: elaborate function for DataMerger today: reading l0_cache.py _______________________________________________ libre-riscv-dev mailing list libre-riscv-dev@lists.libre-riscv.org http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [libre-riscv-dev] daily kan-ban update 27may2020 2020-05-27 17:29 ` Tobias Platen @ 2020-05-27 18:42 ` Luke Kenneth Casson Leighton 0 siblings, 0 replies; 4+ messages in thread From: Luke Kenneth Casson Leighton @ 2020-05-27 18:42 UTC (permalink / raw) To: Libre-RISCV General Development On Wednesday, May 27, 2020, Tobias Platen <libre-soc@platen-software.de> wrote: > morning: > elaborate function for DataMerger you may have missed that i left some review comments in 216? l. -- --- crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68 _______________________________________________ libre-riscv-dev mailing list libre-riscv-dev@lists.libre-riscv.org http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev ^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, back to index Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2020-05-27 12:25 [libre-riscv-dev] daily kan-ban update 27may2020 Luke Kenneth Casson Leighton 2020-05-27 16:35 ` Cole Poirier 2020-05-27 17:29 ` Tobias Platen 2020-05-27 18:42 ` Luke Kenneth Casson Leighton
Libre RISC-V Mailing list Archives (accessible via public-inbox) Archives are clonable: git clone --mirror https://inbox.libre-soc.org/libre-riscv-dev Example config snippet for mirrors AGPL code for this site: git clone https://public-inbox.org/public-inbox.git