Johan Euphrosine

> Fair enough, in addition to comparing code size and memory usage, when could also compare throughput performance. I think robustness and feature parity could also be a factor. There...

as @hongted pointed setting the type parameter explicitly: ``` import std fn uadd8(a: u8, b: u8) -> u8 { let (_, sum) = std::uadd_with_overflow(a, b); sum } #[test] fn adders_test()...

I get a similar error when using derived parametrics: ``` fn unpack3(n: uN[R_SZ]) -> (uN[A_SZ], uN[B_SZ], uN[C_SZ]) { (n[(B_SZ+C_SZ)+:uN[A_SZ]], n[C_SZ+:uN[B_SZ]], n[0+:uN[C_SZ]]) } #[test] fn unpack3_test() { let (a, b, c):...

Thanks for starting this. With regards to the following statement in the PR description: > It translates register accesses into calls to the XLS's ChannelQueues inside ProcRuntime, > Add DMA...

> It's accomplished by building a shared library which implements Renode's plugin interface Curious if a common interface could be generalized to reuse this infrastructure with other simulator? Would it...

> AXIStream-like uses ChannelQueue to access transfer data to/form simulation. I wonder if exposing only the `AXIStream-like` protocol could simplify and generalize the interface between the host simulator and the...

> Current code will have some references to the renode-specific communication protocol here and there, but it should be possible to factor them out later on. Good to know! >...

should we close this and favor of reviewing the demonstrator at https://github.com/antmicro/xls-cosimulation-demonstrator ? we can then re-open a new PR once we figure out how to integrate the simulator build...

after digging into this with @mithro, it appears that the https://anaconda.org/symbiflow channel doesn't have the yosys package anymore: https://anaconda.org/litex-hub/yosys is the channel most recent conda package for most tools. I'm...

Looks like the yosys package was removed by @PiotrZierhoffer 1+ year go:  So I'm not sure why this started surfacing now?