// Accellera Standard V2.8.1 Open Verification Library (OVL).
// Accellera Copyright (c) 2005-2014. All rights reserved.

vunit assert_proposition_assert_vunit (assert_proposition_assert)
{

  property ASSERT_PROPOSITION_P = (always ( (reset_n != 1'b0) -> (1'b0) )) @(negedge test_expr);

  //Properties for X/Z checking

  property ASSERT_PROPOSITION_XZ_POSEDGE_P =
           (always ( xzcheck_enable -> 1'b0 abort(!reset_n) )) @(posedge xzdetect_bit);

  property ASSERT_PROPOSITION_XZ_NEGEDGE_P = 
           (always ( xzcheck_enable -> 1'b0 abort(!reset_n) )) @(negedge xzdetect_bit);

  A_ASSERT_PROPOSITION_P:
  assert ASSERT_PROPOSITION_P
  report "VIOLATION: ASSERT_PROPOSITION Checker Fires : Test expression is FALSE";


  A_ASSERT_PROPOSITION_XZ_POSEDGE_P:
  assert ASSERT_PROPOSITION_XZ_POSEDGE_P
  report "VIOLATION: ASSERT_PROPOSITION Checker Fires : test_expr contains X or Z";

  A_ASSERT_PROPOSITION_XZ_NEGEDGE_P:
  assert ASSERT_PROPOSITION_XZ_NEGEDGE_P
  report "VIOLATION: ASSERT_PROPOSITION Checker Fires : test_expr contains X or Z";
}