Christopher Batten

Interesting. Thanks for looking into this! I also noticed this when you mentioned that a `valgrind` error would cause the test to fail. I tried this: ``` #include #include Test(...

What exactly is "Yixiao's stuff"? I don't think we should have example in stdlib ... stdlib is meant to be installed ...

yes! I think we might eventually end up with a full tutorial just on hypothesis stateful testing.

If the cases are mutually exclusive you can just use a series of independent if statements. Might be interesting to see how much of an impact that has on post-synthesis...

FYI, here is how nMigen encodes a case statement - https://github.com/m-labs/nmigen/blob/3d04122d55699fb4dfee146995239596a0e64c8a/examples/basic/pmux.py#L15-L23

I actually don’t think a series of if statements would be all that bad syntactically. This is actually exactly how we implement LUTs in PyMTL and it has never been...

@KelvinChung2000 Excellent suggestions! We are very much interested in growing the base of PyMTL3 developers. If you are interested in maybe taking a stab at one of these and creating...

We don't currently have such an implementation ... would definitely be useful though ... not sure how much work it would be? @jsn1993 any thoughts?

I think this is where bitstructs get flattened? https://github.com/pymtl/pymtl3/blob/4b3bc183b14ffacd069f48dc5997b00045aea53f/pymtl3/passes/tracing/VcdGenerationPass.py#L237-L244 So we would need to do an explicit check first to see if `signal` is a bitstruct. So first thing would...

Can you show what the line is that is causing the assertion? Is it something like this: ``` connect( s.tile[0][0].inputCrossbar.in_[5].rdy, s.tile[0][0].inputCrossbar.in_[5].en ) ``` Is the `tile` a component and the...