# Copyright 2019 Alain Dargelas
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#    http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.

# Universal Hardware Data Model (UHDM) "assertion" formal description
 
- group_def: assertion
  - obj_ref: sequence_inst
  - obj_ref: assert_stmt
  - obj_ref: assume
  - obj_ref: cover
  - obj_ref: restrict
  - obj_ref: property_inst
  - obj_ref: immediate_assert
  - obj_ref: immediate_assume
  - obj_ref: immediate_cover
  - obj_ref: checker_inst




  
  
