Automatic definition of false path constraints #94
Description
Wednesday Jun 05, 2019 at 02:46 GMT
Originally opened as m-labs/nmigen#87
In oMigen, there is some code that adds false path constraints on MultiReg and AsyncResetSynchronizer automatically. Unfortunately it looks like it is only designed to work properly with Xilinx; the relevant code for every other platform seems to be blindly copied from the Xilinx file and as far as I can tell it has never worked in any meaningful way.
This needs to be replicated in nMigen, and that requires carefully investigating the data toolchains require to add false path constraints.