TherearesomesimpletricksthateverydesignengineershouldknowtofacilitatetheusageofSystemVerilogAssertions.AlthoughthispaperisnotintendedtobeacomprehensivetutorialonSystemVerilogAssertions,itisworthwhiletogiveasimplifieddefinitionofapropertyandtheconcurrentassertionofaproperty.1.1Whati