def __init__(self): super().__init__() self.with_sample(dict(input=my_c())) self.cp1 = vsc.coverpoint( self.input.a, bins=dict(a=vsc.bin_array([], [1, 15]))) self.cp2 = vsc.coverpoint( self.input.b, bins=dict(b=vsc.bin_array([], [1, 15])))
def __init__(self): self.with_sample(dict(a=vsc.uint32_t(), b=vsc.uint32_t())) self.a_cp = vsc.coverpoint( self.a, bins=dict(a1=vsc.bin_array([], 1, 2, 4, 8))) self.b_cp = vsc.coverpoint( self.b, bins=dict(b1=vsc.bin_array([], 1, 2, 4, 8)))
def __init__(self): self.with_sample(dict(a=vsc.uint8_t(), b=vsc.uint8_t())) self.a_cp = vsc.coverpoint( self.a, bins=dict(a_bins=vsc.bin_array([], [1, 16]))) self.b_cp = vsc.coverpoint( self.b, bins=dict(b_bins=vsc.bin_array([], [1, 16])))
def __init__(self, sample_c): self.with_sample(dict(a=vsc.uint8_t(), b=vsc.uint8_t())) self.cp1 = vsc.coverpoint(self.a, iff=sample_c, bins={ "a": vsc.bin_array([], 1, 2, 4), "b": vsc.bin_array([4], [8, 16]) })
def __init__(self): self.with_sample( dict(a=vsc.uint8_t(), b=vsc.uint8_t(), c=vsc.bool_t())) self.cp1 = vsc.coverpoint( self.a, bins={"a": vsc.bin_array([], 1, 2, 4, 8)}) self.cp2 = vsc.coverpoint( self.b, bins={"b": vsc.bin_array([], 1, 2, 4, 8)}) self.cr = vsc.cross([self.cp1, self.cp2], iff=self.c)
def __init__(self, a, b): super().__init__() self.cp1 = vsc.coverpoint( a, bins={"a": vsc.bin_array([], [1, 10])}) self.cp2 = vsc.coverpoint( b, bins={"b": vsc.bin_array([], [1, 10])}) self.cp1X2 = vsc.cross([self.cp1, self.cp2])
def __init__(self, a, b): self.a_cp = vsc.coverpoint( a, options=dict(weight=8), bins=dict(a_arr=vsc.bin_array([], [1, 8]))) self.b_cp = vsc.coverpoint( b, options=dict(weight=4), bins=dict(b_arr=vsc.bin_array([], [1, 4])))
def __init__(self): self.with_sample(dict(a=vsc.uint8_t(), b=vsc.uint8_t())) self.options.at_least = 2 self.cp1 = vsc.coverpoint(self.a, bins={ "a": vsc.bin_array([], 1, 2, 4, 8), }) self.cp2 = vsc.coverpoint( self.b, bins={"b": vsc.bin_array([], 1, 2, 4, 8)})
def __init__(self): self.with_sample(dict(a=vsc.uint8_t(), b=vsc.uint8_t())) self.cp1 = vsc.coverpoint(self.a, bins={ "a": vsc.bin_array([], 1, 2, 4, 8), }, options=dict(weight=1)) self.cp2 = vsc.coverpoint( self.b, bins={"b": vsc.bin_array([], 1, 2, 4, 8)}, options=dict(weight=0))
def __init__(self): super().__init__() self.a=None self.b=None self.cp1 = vsc.coverpoint(lambda:self.a, bins=dict( a = vsc.bin_array([], [0,15]) )) self.cp2 = vsc.coverpoint(lambda:self.b, bins=dict( b = vsc.bin_array([], [0,15]) )) self.cross = vsc.cross([self.cp1, self.cp2])
def __init__(self): self.with_sample(dict(a=vsc.uint8_t())) self.cp_val = vsc.coverpoint( self.a, bins=dict(rng_1=vsc.bin_array([4], [1, 3], [4, 6], [7, 9], [10, 12])), ignore_bins=dict(invalid_value=vsc.bin(4)))
def __init__(self): self.with_sample(item=BranchInstr()) self.type = vsc.coverpoint(self.item.type) self.disp_cp = vsc.coverpoint( self.item.disp, bins={"small_pos": vsc.bin_array([4], [0, 4096])})
def __init__(self): # Define the parameters accepted by the sample function self.with_sample({ 'a' : vsc.bit_t(8), 'b' : vsc.bit_t(8) }) self.a_cp = vsc.coverpoint( self.a, bins={ # Create 4 bins across the space 0..255 'a_bins': vsc.bin_array([4], [0,255]) }) self.b_cp = vsc.coverpoint(self.b, bins={ # Create one bin for each value (1,2,4,8) 'b_bins': vsc.bin_array([], 1, 2, 4, 8) }) self.ab_cross = vsc.cross([self.a_cp, self.b_cp])
def __init__(self, a, b): # Need to use lambda for non-reference values super().__init__() self.cp1 = vsc.coverpoint( a, options=dict(auto_bin_max=64), bins=dict(a=vsc.bin_array([], [1, 15]))) self.cp2 = vsc.coverpoint(b, cp_t=vsc.enum_t(my_e))
def __init__(self, a, b): self.a_cp = vsc.coverpoint( a, bins=dict(a_arr=vsc.bin_array([], [1, 8]))) self.b_cp = vsc.coverpoint( b, bins=dict(b_arr=vsc.bin_array([], [1, 4])))
def __init__(self): self.with_sample(dict(it=my_item_c())) self.cp_my = vsc.coverpoint( lambda: ((self.it.a >> 2) & 0x3F), bins={"a": vsc.bin_array([], [0, 3])})
def __init__(self): self.with_sample(dict(it=my_item_c())) self.cp_my = vsc.coverpoint( self.it.a[7:2], bins={"a": vsc.bin_array([], [0, 3])})
def __init__(self): self.with_sample(a=vsc.bit_t(32)) self.cp_my = vsc.coverpoint( self.a[7:2], bins={"a": vsc.bin_array([], [0, 3])})
def __init__(self): self.with_sample(dict(a=vsc.bit_t(8))) self.a_cp = vsc.coverpoint( self.a, bins=dict(a=vsc.bin_array([], [1, 16])))
def __init__(self): self.with_sample(dict(a=vsc.uint8_t())) self.a_cp = vsc.coverpoint( self.a, bins=dict(a1=vsc.bin_array([4], (0, 16))))