From mboxrd@z Thu Jan 1 00:00:00 1970 From: Dan Date: Tue, 31 Aug 2021 11:30:00 -0400 Subject: [OpenRISC] Continue OpenRISC contibution In-Reply-To: References: Message-ID: <3353f448aa67d1d6bf61eaa37256c90d1377bb74.camel@ieee.org> List-Id: MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit To: openrisc@lists.librecores.org Harshita, I would recommend replacing the "chparam" commands in your SBY files with "hierarchy" commands. "chparam" forces the synthesis tool to re- read the design each time the command is issued, and may lead to changes that are inconsistent along the way. "hierarchy" has a "- chparam" option that can be used to re-read the design once, setting all of the parameters in the design to a consistent usage. Dan On Tue, 2021-08-31 at 22:47 +0900, Stafford Horne wrote: > The commit looks good, can you make a PR for it? > On Sun, Aug 29, 2021 at 2:16 AM Harshitha S > wrote: > > Hello Stafford, > > I want to start with a simple one. I have updated the Mor1kx Formal > > in the readme.Let me know if anything else to be included. > > https://github.com/Harshitha172000/mor1kx/commit/e192b83ce01cd4b467ce74fe65b2f3a7ced7a22d > > > > I will try fixing the bugs and also work on or1kx-formal. > > Meanwhile, I'm thinking of exploring OpenOCD/GDBfor mor1kx CPU > > debugging but having no idea where to start. Can you guide me > > beginning with CPU debugging? > > -Harshitha > > On Fri, Aug 27, 2021 at 5:11 AM Stafford Horne > > wrote: > > > On Thu, Aug 26, 2021 at 10:17:17PM +0530, Harshitha S wrote: > > > > Hello, > > > > I'm thinking of continuing my contribution to the OpenRISC > > > > project. With myGSoC project, I have learned too many new > > > > skills and wish to keep thislearning pace. I would be happy to > > > > learn and explore new skills. Please letme know what I can work > > > > upon. > > > > > > Hi Harshita, > > > (CCing list) > > > Glad to hear you are still interested. I think there are always > > > plenty ofthings, some things on the top of my head: - Simple - > > > update the mor1kx/readme.md to explain we support formal - > > > Medium - fix the bugs that you raised - Bigger - or1k-formal > > > (like riscv-formal, formally verify each instruction) > > > -Stafford > _______________________________________________OpenRISC mailing > listOpenRISC at lists.librecores.org > https://lists.librecores.org/listinfo/openrisc -------------- next part -------------- An HTML attachment was scrubbed... URL: