예제 #1
0
            def __init__(self):
                self.with_sample(dict(v=vsc.enum_t(my_e)))

                self.cp_v = vsc.coverpoint(
                    self.v,
                    ignore_bins=dict(ignore_1=vsc.bin(my_e.D)),
                    illegal_bins=dict(ignore_2=vsc.bin(my_e.H)))
예제 #2
0
 def __init__(self):
     self.instr = None
     self.cp_val = vsc.coverpoint(
         lambda: self.instr.value[7:5],
         cp_t=vsc.bit_t(3),
         ignore_bins=dict(invalid_value=vsc.bin(0b101, 0b110)))
     self.cp_a = vsc.coverpoint(
         lambda: self.instr.a,
         cp_t=vsc.bit_t(32),
         ignore_bins=dict(invalid_a=vsc.bin(5, 3, 100, 124, 1110)))
예제 #3
0
 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)))
예제 #4
0
                def __init__(self, it):
                    super().__init__(it)

                    self.cp2 = vsc.coverpoint(it, bins={"a": vsc.bin(7)})