# Licensed to the Apache Software Foundation (ASF) under one
# or more contributor license agreements. See the NOTICE file
# distributed with this work for additional information
# regarding copyright ownership. The ASF licenses this file
# to you 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.
# Created on Aug 3, 2019
#
# @author: ballance
from vsc.model.expr_bin_model import ExprBinModel
from vsc.model.bin_expr_type import BinExprType
from vsc.model.expr_literal_model import ExprLiteralModel
from vsc.model.rangelist_model import RangelistModel
from vsc.model.coverpoint_bin_model_base import CoverpointBinModelBase
[docs]
class CoverpointBinSingleBagModel(CoverpointBinModelBase):
"""Coverpoint single bin that is triggered on a set of values or value ranges"""
def __init__(self, name, binspec : RangelistModel=None):
super().__init__(name)
self.binspec = binspec if binspec is not None else RangelistModel()
self.n_bins = 1
[docs]
def finalize(self, bin_idx_base:int)->int:
super().finalize(bin_idx_base)
return 1
[docs]
def get_bin_expr(self, bin_idx):
"""Builds expressions to represent the values in this bin"""
expr = None
for r in self.binspec.range_l:
if r[0] == r[1]:
e = ExprBinModel(
self.cp.target,
BinExprType.Eq,
ExprLiteralModel(r[0]))
else:
e = ExprBinModel(
ExprBinModel(
self.cp.target,
BinExprType.Ge,
ExprLiteralModel(r[0])),
BinExprType.And,
ExprBinModel(
self.cp.target,
BinExprType.Le,
ExprLiteralModel(r[1])))
if expr is None:
expr = e
else:
expr = ExprBinModel(
expr,
BinExprType.Or,
e)
return expr
[docs]
def get_bin_name(self, bin_idx):
return self.name
[docs]
def sample(self):
# Query value from the actual coverpoint or expression
val = int(self.cp.get_val())
if val in self.binspec:
self.hit_bin_idx = 0
self.cp.coverage_ev(
self.bin_idx_base,
self.bin_type)
else:
self.hit_bin_idx = -1
[docs]
def dump(self, ind=""):
print(ind + "Bin " + self.name)
[docs]
def accept(self, v):
v.visit_coverpoint_bin_single_bag(self)
[docs]
def equals(self, oth)->bool:
eq = isinstance(oth, CoverpointBinSingleBagModel)
if eq:
eq &= self.binspec.equals(oth.binspec)
return eq
[docs]
def clone(self)->'CoverpointBinSingleBagModel':
ret = CoverpointBinSingleBagModel(self.name, self.binspec.clone())
ret.srcinfo_decl = None if self.srcinfo_decl is None else self.srcinfo_decl.clone()
return ret