systemc-compiler icon indicating copy to clipboard operation
systemc-compiler copied to clipboard

Move in-reset assertions into IF branch

Open mikhailmoiseev opened this issue 3 years ago • 1 comments

mikhailmoiseev avatar May 26 '22 17:05 mikhailmoiseev

Logic synthesis tools do not support any code outside of main IF in always_ff block. It needs to move assertions into both branches.

Try to fix assertions after reset considered as additional state.

mikhailmoiseev avatar May 26 '22 17:05 mikhailmoiseev