search

Intuity / forastero

Making cocotb testbenches that bit easier
http://forastero.intuity.io/
Apache License 2.0
24 stars 1 forks source link

Amaranth and forastero? #25

Open tclarke opened 3 weeks ago

tclarke commented 3 weeks ago

Is there an easy way to combine the two tools? Amaranth has simulation support but it would be great to use forastero+cocotb as it's a richer solution. I could just use amaranth to generate verilog and test on that but better integration would be much nicer.

Intuity commented 2 weeks ago

This is a really interesting question - I'm not very familiar with Amaranth and its simulation engine, but I'd be interested to find out. Forastero leverages cocotb primarily as a simulator interface, it might be possible for Amaranth to just interface directly rather than through the intermediate layer.

Would this be something you'd be able to help us investigate?

tclarke commented 2 weeks ago

I'm not sure how much time I can put in but I'll look into it a bit to try and at least get some estimates on level of effort. The amaranth simulation engine does have some nice features and it's pretty clean for basic testing and for formal verification. I'll poke at it a bit over the next week or so and see what I come up with.