div class=trans-pagebuttonPage 1button div class=trans-image amp-img class=trans-thumb alt=Page 1: system verilog assertion src=https:reader031fdocumentsinreader031viewer202202141858f2001d1a28ab0a058b4689html5thumbnails1jpg width=142 height=106 layout=responsive amp-img divdiv