Wilson Snyder
Wilson Snyder
Good debugging. Maybe make a similarValueTree which uses similar DType instead of dtype comparison, for AstConst uses opEq, then for everything else checks for == identity (ignoring dtype, using the...
I would think that V3Const should be removing casts that are constant so that an e.g. "parameter type" doesn't have a cast as part of its type. Likewise in your...
I believe this is legal, and passes on 3/4 of other simulators I tried. The parameter for the cell needs to be resolved similar to how a class that was...
@kbieganski should be good to merge, thanks.
Conceptually a reasonable idea. Main point: * I think it might be better to have this as a later more generic optimization, e.g. before V3Combine, @gezalore what's your thoughts? Others:...
Presumably relates to global constraints, @YilouWang? Minimized example below, @solomatnikov would appreciate if you could minimize removing parameters and such before filing (as sv-bugpoint is just a starting point to...
This is because of the WIDTH problem, the code while technically correct is not well-written code. Please acknowledge my comment https://github.com/verilator/verilator/issues/6486#issuecomment-3333405604
V3Tristate doesn't understand how to resolve the concat. I'm not sure how easy/hard this will be. I presume in your example it should be `{GPIO[0], GPIO[1]}`? Also note if you...
I tried 5 simulators and none of them take all of this.
I'm not sure what to do with this issue. Maybe if you simplify to an example that works on all simulators but not Verilator?