tree b0911467cf6f55e9d22501844258581bc27aaa38
parent b2b84710ef51f41cb92d9f5d38abe858f02215b7
author Eunchan Kim <eunchan@google.com> 1571096788 -0700
committer Eunchan Kim <eunchan@google.com> 1571096788 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 iQGzBAABCgAdFiEEuEBfHXBX1JgKhUPPmhfzJJT+XB8FAl2lCREACgkQmhfzJJT+
 XB8iMwv5ASOUopxPP5yveMnnqbfK8zK5j599FoyVo1+DgwoCYLBeJaoAYnPITmgL
 5mh3tCfR58REI+MFnSXHKCefw4R3+EJo5z6/1mtruVKCpy/sPndxNfG+CIMin/6f
 6o+qRG82nD+EJ9yenpyi2K56bDml9qmPP8wj1FWav2AN/rcFpSgaxiNvUU1oV5pr
 dwnnFosOsrntLSPG7tYnE05s9xRXiBZqtqcWR9a+ag+Q3lJo5pGWiee+rE6WuqRY
 B20Z2oXLXXR2sdZgXUNKo8yesB+5Rf2p6H1ASWwCNF0aOwKwAuhTrcmP+dTfs7yO
 KxTTXLfjWzXkicq3q79DWu5IGSNm7YkkZwmRDEKDb6FMGnVVTGhw6amouX67SFoT
 RX6i8pWIAwcygxvYYAUBhyiTSSEXS9vsPii4oaN80kPmsQr9g/uJdCX/Ycl1h2cT
 ZZT8IoB8PqWXHMBKqwEU3oUYzJThu5vlLwrmR5/vssJoZfz0+uLcYS33hp2a09XV
 fbFylWqA
 =7ARt
 -----END PGP SIGNATURE-----

[hmac] Assert Known for outputs

Add assertions for HMAC output signals including TL_o.{d_valid|a_ready}

This is related to #405