Readon
Readon
> let's me know when you are done pushing ^^ I think it works now. I will push other PR when prove is done.
It's really a long journey to get the SMT engine pass in prove mode. However, it's there now, for preview.
How about this one? It also fixes the bugs of existing Axi4ReadOnly formal verification facility. It has to be one on Axi4WriteOnly version, later.
> Hi, > > So personnaly i realy have issues reviewing PR that are bigger than 100 lines. I'm running out of times / busy schedule XD Getting drowned into...
> How about add a QueuesScoreboard which accept several queues and only execute the check function when all queues are nonEmpty, with 1 unit of time delay? So that all...
How about add a parameter "delay" to StreamMonitor so that the Monitor can execute callbacks in specified delayed time. Which can help to work around on the problem of two...
A good solution is to use delayed function in StreamMonitor function, as below. ``` scala StreamMonitor(stream1) { p => zzzz.enqueue(p) } StreamMonitor(stream2) { p => { val xxx = p.check...
> > A good solution is to use delayed function in StreamMonitor function, as below. > > Sometimes i defined one queue for each StreamMonitor in which a push stuff....
It's really important to have some support for long term supporting. How about creating an open collective organization first?
> Done ^^ https://opencollective.com/spinalhdl https://opencollective.com/spinalhdl/conversations/projects-funding-4qj7kkq8 I think, it's best to add the sponsor link to the homepage of both the project and documentation.