Schuyler Eldridge comments

Results 216 comments of


                                            Schuyler Eldridge

[FIRRTL] Remove support for printf-encoded verification, tests.

Printf-encoded verification ops were always a SiFive-internal hack. If this got hop-on external users, they knew what they were getting into (also a user sufficiently motivated to reverse engineer these...

[Arc] Add basic support for assert operation.

> how to generate the CHECK tests? There's a bit of an art to this. You're trying to balance: 1. Exactness/terseness of the test. Try to keep the test simple...

[FIRRTL] Output directory control for layers and modules

☝️ After discussing with @darthscsi more about this. This comment is saying that we can remove the `OutputDirPrecedenceAnnotation` and any logic associated with it and instead compute the LCA based...

[FIRRTL][InferWidths] When there is no unique minimal solution for width constraints, what should be the width?

The error is saying that there isn't enough information to choose a width. In this case, as you identify, this is a system of linear inequalities and there are multiple...

[FIRRTL][InferWidths] When there is no unique minimal solution for width constraints, what should be the width?

Minor correction: the implicit constraint is really `x1 >= 0` and `x2 >= 0` because zero-width is allowed. So, you could argue that the optimal choice, from a PPA cost...

[FIRRTL][InferWidths] When there is no unique minimal solution for width constraints, what should be the width?

> Then why there is no error in GCD program? Does it means that CIRCT just ignore cycles and solve with explicit widths? This is working because there is a...