Afirmações

Afirmar em Verilog
O que é afirmado em Verilog?Qual é a diferença entre assert ou propriedade?Por que as afirmações são usadas no SystemVerilog?O que é afirmação na ver...