tree b442764cc9c1f093d6ab8cf399f5258f71e4ab2d
parent c98098837a940deee5b774f848fb0f29b45496c6
author Eunchan Kim <eunchan@opentitan.org> 1600882019 -0700
committer Eunchan Kim <eunchan@opentitan.org> 1600885216 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iQGzBAABCgAdFiEEuEBfHXBX1JgKhUPPmhfzJJT+XB8FAl9rkeEACgkQmhfzJJT+
 XB82dwv/QbeOl2y2IYC1unAw/vtB27fKM5pdu0xoUuE03PPdWZx21hozuemhTTkw
 kDU0O/H4fekhtdi0ICgXzK8iNQyNVTZq0J4vQyJB3UzZ9Iwxzj8Y6wrr83psrSQg
 A3xPNSCQiP8bMQX7MX7AnZxGRGBNP/WzE7wRhf8SaJDoJAbzdULjA6DcI8fUFSvh
 BwB++F3nZa/qFcvddQYpIyP2JMUF6Vjmu25sFJumCkJMGsayI7FOPyyEA/iiMHPa
 Etm5bkwXDCjDAjn0FSk+AcQAmDzs4+8+7iOaoRE1ImwMyEAIiXgP0QzERrqdzFwy
 3jRiGfvBBFLMMBDdMVnPeXpxTkgTbv+V7eXkqDNmScgSrXm/oPU28vKS8D37m43X
 8YPRj0xkybcFYOo3eyQ2yKGejEJ41UcQ0payFalocIz7Sge3AqPhpJoj2aeuIIV9
 HHeoIoWhMqEIXfpB/HbydcsRe47Ua2PiWgHZ8Zl+KoYv32MTXle0fPyHhA8VXGAZ
 KgIcQ8w+
 =r6q0
 -----END PGP SIGNATURE-----

[kmac] Revise incorrect Assertion

When process_latched asserted and it is not the end of the block, the
assertion is to check if internal padding logic to complete the block
size or not by checking keccak_valid_o signal. If the time is the end of
the block transfer, padding logic will trigger `run` first and will padd
th rest of the bits in next block.

Current assertion precondition was wrong. `!end_of_block ||
!sent_blocksize` is always 1 as `end_of_block` and `sent_blocksize` are
always one cycle apart.

WHy not detected earlier?:

    In previous commits (PRs), FPV only tested SHA3-256 algorithm with
    fixed data pattern (Empty, 1 Word, or 3 bytes). So there was no
    chance to hit this corner case. However, in KMAC top-level test, it
    doesn't bound the data pattern or algorithm mode/strength **yet**.
    So, the FPV tool was able to catch this condition.

Signed-off-by: Eunchan Kim <eunchan@opentitan.org>