circt
circt copied to clipboard
[ImportVerilog] Support for sized unpacked arrays in 'inside' expressions
Support for sized unpacked arrays in 'inside' expressions. Implementation recursively traverses the array to find the singular value and compares all found ones with the lhs, adding the condition results to the original conditions vector.
Hi, sorry for the long reply. I added the return value LogicalResult. But I do not know what to do with the tests for my errors. It looks like these type inconsistencies are checked in slang. Should I change them to assert?
@hailongSun2000 Can you take a look?