Catherine
Catherine
I got this code out of a firmware for STM32H743, so v7m. edit: oh, you meant ARMv7 as in "ARM mode", nevermind.
I think this is due to the lack of RAW_IO capability on Windows (#481).
> After comparing the `actual` vs `golden` data, it seems there is a 0x400 offset to the test pattern in the `actual` data. It would seem some initial data is...
No; I don't even know if I root-caused it correctly or not. This needs further testing after #481.
@sunfishcode I would *really* like to get #546 into a release if we manage to come to a consensus on what to do there quickly. Not being able to build...
Fantastic work, thanks! ^^
> I previously suggested using this property to collapse m.d and m.domains into one object, but after some discussion we concluded this was actually impossible. (Or, to the extent it's...
If the goal is to produce human friendly error messages, why are these tools not using the message field? I would say we should probably not add back `name` but...
> SystemVerilog assertions do not _have_ messages in the first place; relying on messages thus limits us to yosys-based tooling From my memory of talking to Jannis, they sort of...