I'm a hardware security engineer, and I've actually used similar tools before! It's nifty, but overall, hardware security tooling is unfortunately seriously lac

I'm a hardware security engineer, and I've actually used similar tools before! It's nifty, but overall, hardware security tooling is unfortunately seriously lacking. When you try to apply masking or hiding schemes to prevent side-channel leakage of logic (see [1]), the design tools will often optimize your designs away and make your logic insecure! The same goes for certain parity and polarity propagation schemes used to protect data on busses from snooping attacks. [1] https://www.iacr.org/archive/ches2014/87310197/87310197.pdf https://www.iacr.org/archive/ches2014/87310197/87310197.pdf