Catherine
Catherine
> Wanted to mention that falsepath is not necessarily safe for all of these primitives That seems very troublesome, and certainly something we want to loudly warn about. Would you...
Relevant: https://github.com/m-labs/migen/commit/f4979a2403316942909bdfdd77e2a174a2b77857#commitcomment-34195474
Sure. Feel free to add a workaround and cc me on the PR.
@programmerjake Ping--could you revisit this please?
> I think the best way to proceed may be to just disable symbiyosys tests when the buggy versions of pypy are detected. Sounds fine to me.
I think what Xilinx does here is they require you to add a pipeline register in the dual-clock FIFO, effectively constructing a 2FF synchronizer out of the BRAM output register...
I think attaching these attributes to `Signal`s is probably not the right approach. I think it makes more sense to attach them to `Elaboratable`s, perhaps as Python 3.7 type annotations,...
@mithro It's kind of a pain to set up VlogHammer in the first place. I think I can use the M-Labs machine for testing that once I have a general...
> Would having access to a bunch of CPU resources help with the randomized testing? Actually, what kind of resources can you provide? If it's something monstrous like a 64-core...
Fixing YosysHQ/yosys#726 proved to be extraordinarily complex, so bumping this from 0.1 milestone.