Open Source VHDL Verification Methodology/Описание пакета RandomPkg/Примеры распределений

Ссылки сюда (27) →

Проект OS-VVM

Руководство пользователя (eng)
Описание пакета CoveragePkg (eng)
Описание пакета RandomPkg (eng)
- Примеры распределений

Исходные коды

Описание примеров

Пример использования OS-VVM
- Пример 2 (Интеллектуальный ТБ)

Презентации

Coverage

Code Coverage (en)
Functional Coverage (en)

* VHDL * PSL *

Пример

Листинг файла test.vhd

Файл: test.vhd

library ieee,work;
use ieee.std_logic_1164.all;
 
use work.RandomPkg.all;
use work.CoveragePkg.all;
 
use IEEE.math_real.all;
 
entity test_tb is
 
end entity test_tb;
 
architecture tb of test_tb is
 
  shared variable RndX : RandomPType;
  shared variable X : integer;
  shared variable CovRndX : CovPType ;
 
  shared variable RndVal : real ;
  shared variable seed1 : positive := 7 ;     -- initialize seeds
  shared variable seed2 : positive := 1 ;
  shared variable CovRndVal : CovPType ;
 
begin  -- architecture tb
 
--  RndX.InitSeed(RndX'instance_name);
 
 
  p1: process is
  begin  -- process p1
 
    RndX.InitSeed(IV => (7,1));
    --RndX.InitSeed(RndX'instance_name);
 
    CovRndX.AddBins(GenBin(1,10));
    CovRndVal.AddBins(GenBin(1,10));
 
    for i in 1 to 100000 loop
 
      uniform(seed1, seed2, RndVal) ;                    -- randomize 0.0 to 1.0
      CovRndVal.ICover(integer(trunc(RndVal*10.0+1.0))) ; -- scale to 1 to 10
 
      --X := RndX.Uniform( min => 1, max => 10 );
      --X := RndX.Uniform( min => 1, max => 10, Exclude => (2,5) );
      --X := RndX.Favor_small( min => 1, max => 10 );
      --X := RndX.Favor_small( min => 1, max => 10, Exclude => (2,5) );
      --X := RndX.Favor_big( min => 1, max => 10);
      --X := RndX.Normal(Mean => 5.0, StdDeviation => 3.0, min => 1, max => 10, Exclude => NULL_INTV);
      --X := RndX.Normal(Mean => 5.0, StdDeviation => 3.0, min => 1, max => 10, Exclude => (5,5));
      X := RndX.Poisson(Mean => 10.0, min => 1, max => 10, Exclude => NULL_INTV);
 
      CovRndX.ICover(X);
--      RndX.SetRandomParm(NORMAL, 4.0, 1.0);
      wait for 10 ns;
 
    end loop;  -- i
    CovRndX.WriteBin;
    CovRndVal.WriteBin;
    wait;
  end process p1;
 
end architecture tb;

Распределение uniform для RandomPkg и math_real

RandomPkg (RndX.Uniform( min => 1, max => 10 );)

# %% Bin:(1)   Count = 9971  AtLeast = 1  Weight = 1
# %% Bin:(2)   Count = 10056  AtLeast = 1  Weight = 1
# %% Bin:(3)   Count = 9992  AtLeast = 1  Weight = 1
# %% Bin:(4)   Count = 9933  AtLeast = 1  Weight = 1
# %% Bin:(5)   Count = 9974  AtLeast = 1  Weight = 1
# %% Bin:(6)   Count = 9981  AtLeast = 1  Weight = 1
# %% Bin:(7)   Count = 9980  AtLeast = 1  Weight = 1
# %% Bin:(8)   Count = 10012  AtLeast = 1  Weight = 1
# %% Bin:(9)   Count = 9946  AtLeast = 1  Weight = 1
# %% Bin:(10)  Count = 10155  AtLeast = 1  Weight = 1

math_real

  uniform(seed1, seed2, RndVal) ;                    -- randomize 0.0 to 1.0
  CovRndVal.ICover(integer(trunc(RndVal*10.0+1.0))) ; -- scale to 1 to 10

# %%WriteBin: 
# %% Bin:(1)   Count = 9971  AtLeast = 1  Weight = 1
# %% Bin:(2)   Count = 10056  AtLeast = 1  Weight = 1
# %% Bin:(3)   Count = 9992  AtLeast = 1  Weight = 1
# %% Bin:(4)   Count = 9933  AtLeast = 1  Weight = 1
# %% Bin:(5)   Count = 9974  AtLeast = 1  Weight = 1
# %% Bin:(6)   Count = 9981  AtLeast = 1  Weight = 1
# %% Bin:(7)   Count = 9980  AtLeast = 1  Weight = 1
# %% Bin:(8)   Count = 10012  AtLeast = 1  Weight = 1
# %% Bin:(9)   Count = 9946  AtLeast = 1  Weight = 1
# %% Bin:(10)  Count = 10155  AtLeast = 1  Weight = 1

Распределение uniform для RandomPkg с исключением [2,5]

X := RndX.Uniform( min => 1, max => 10, Exclude => (2,5) );

# %%WriteBin: 
# %% Bin:(1)   Count = 12482  AtLeast = 1  Weight = 1
# %% Bin:(2)   Count = 0  AtLeast = 1  Weight = 1
# %% Bin:(3)   Count = 12530  AtLeast = 1  Weight = 1
# %% Bin:(4)   Count = 12389  AtLeast = 1  Weight = 1
# %% Bin:(5)   Count = 0  AtLeast = 1  Weight = 1
# %% Bin:(6)   Count = 12525  AtLeast = 1  Weight = 1
# %% Bin:(7)   Count = 12456  AtLeast = 1  Weight = 1
# %% Bin:(8)   Count = 12488  AtLeast = 1  Weight = 1
# %% Bin:(9)   Count = 12554  AtLeast = 1  Weight = 1
# %% Bin:(10)  Count = 12576  AtLeast = 1  Weight = 1

Распределение Favor_small

Распределение Favor_small для RandomPkg

X := RndX.Favor_small( min => 1, max => 10 );

# %% Bin:(1)   Count = 19007  AtLeast = 1  Weight = 1
# %% Bin:(2)   Count = 17030  AtLeast = 1  Weight = 1
# %% Bin:(3)   Count = 15011  AtLeast = 1  Weight = 1
# %% Bin:(4)   Count = 12923  AtLeast = 1  Weight = 1
# %% Bin:(5)   Count = 11017  AtLeast = 1  Weight = 1
# %% Bin:(6)   Count = 8996  AtLeast = 1  Weight = 1
# %% Bin:(7)   Count = 7053  AtLeast = 1  Weight = 1
# %% Bin:(8)   Count = 4993  AtLeast = 1  Weight = 1
# %% Bin:(9)   Count = 2955  AtLeast = 1  Weight = 1
# %% Bin:(10)  Count = 1015  AtLeast = 1  Weight = 1

Распределение Favor_small для RandomPkg с исключением [2,5]

X := RndX.Favor_small( min => 1, max => 10, Exclude => (2,5) );

# %% Bin:(1)   Count = 23565  AtLeast = 1  Weight = 1
# %% Bin:(2)   Count = 0  AtLeast = 1  Weight = 1
# %% Bin:(3)   Count = 20292  AtLeast = 1  Weight = 1
# %% Bin:(4)   Count = 17121  AtLeast = 1  Weight = 1
# %% Bin:(5)   Count = 0  AtLeast = 1  Weight = 1
# %% Bin:(6)   Count = 14010  AtLeast = 1  Weight = 1
# %% Bin:(7)   Count = 10979  AtLeast = 1  Weight = 1
# %% Bin:(8)   Count = 7854  AtLeast = 1  Weight = 1
# %% Bin:(9)   Count = 4570  AtLeast = 1  Weight = 1
# %% Bin:(10)  Count = 1609  AtLeast = 1  Weight = 1

Распределение Favor_big

Распределение Favor_big для RandomPkg

X := RndX.Favor_big( min => 1, max => 10);

# %% Bin:(1)   Count = 1015  AtLeast = 1  Weight = 1
# %% Bin:(2)   Count = 2955  AtLeast = 1  Weight = 1
# %% Bin:(3)   Count = 4993  AtLeast = 1  Weight = 1
# %% Bin:(4)   Count = 7053  AtLeast = 1  Weight = 1
# %% Bin:(5)   Count = 8996  AtLeast = 1  Weight = 1
# %% Bin:(6)   Count = 11017  AtLeast = 1  Weight = 1
# %% Bin:(7)   Count = 12923  AtLeast = 1  Weight = 1
# %% Bin:(8)   Count = 15011  AtLeast = 1  Weight = 1
# %% Bin:(9)   Count = 17030  AtLeast = 1  Weight = 1
# %% Bin:(10)  Count = 19007  AtLeast = 1  Weight = 1

Распределение Normal

Нормальное распределение (wikipedia.org)

Распределение Normal для RandomPkg

X := RndX.Normal(Mean => 4.5, StdDeviation => 1.0, min => 1, max => 10, Exclude => NULL_INTV);

# %% Bin:(1)   Count = 125  AtLeast = 1  Weight = 1
# %% Bin:(2)   Count = 2183  AtLeast = 1  Weight = 1
# %% Bin:(3)   Count = 13563  AtLeast = 1  Weight = 1
# %% Bin:(4)   Count = 34101  AtLeast = 1  Weight = 1
# %% Bin:(5)   Count = 34209  AtLeast = 1  Weight = 1
# %% Bin:(6)   Count = 13435  AtLeast = 1  Weight = 1
# %% Bin:(7)   Count = 2246  AtLeast = 1  Weight = 1
# %% Bin:(8)   Count = 134  AtLeast = 1  Weight = 1
# %% Bin:(9)   Count = 4  AtLeast = 1  Weight = 1
# %% Bin:(10)  Count = 0  AtLeast = 1  Weight = 1

X := RndX.Normal(Mean => 4.5, StdDeviation => 2.0, min => 1, max => 10, Exclude => NULL_INTV);

# %% Bin:(1)   Count = 4413  AtLeast = 1  Weight = 1
# %% Bin:(2)   Count = 9483  AtLeast = 1  Weight = 1
# %% Bin:(3)   Count = 15408  AtLeast = 1  Weight = 1
# %% Bin:(4)   Count = 19549  AtLeast = 1  Weight = 1
# %% Bin:(5)   Count = 19807  AtLeast = 1  Weight = 1
# %% Bin:(6)   Count = 15259  AtLeast = 1  Weight = 1
# %% Bin:(7)   Count = 9294  AtLeast = 1  Weight = 1
# %% Bin:(8)   Count = 4477  AtLeast = 1  Weight = 1
# %% Bin:(9)   Count = 1796  AtLeast = 1  Weight = 1
# %% Bin:(10)  Count = 514  AtLeast = 1  Weight = 1

X := RndX.Normal(Mean => 5.0, StdDeviation => 2.0, min => 1, max => 10, Exclude => NULL_INTV);

# %% Bin:(1)   Count = 2851  AtLeast = 1  Weight = 1
# %% Bin:(2)   Count = 6476  AtLeast = 1  Weight = 1
# %% Bin:(3)   Count = 12550  AtLeast = 1  Weight = 1
# %% Bin:(4)   Count = 17599  AtLeast = 1  Weight = 1
# %% Bin:(5)   Count = 20102  AtLeast = 1  Weight = 1
# %% Bin:(6)   Count = 17802  AtLeast = 1  Weight = 1
# %% Bin:(7)   Count = 12208  AtLeast = 1  Weight = 1
# %% Bin:(8)   Count = 6561  AtLeast = 1  Weight = 1
# %% Bin:(9)   Count = 2884  AtLeast = 1  Weight = 1
# %% Bin:(10)  Count = 967  AtLeast = 1  Weight = 1

1

2,851

3%

2

6,476

6%

3

12,550

13%

4

17,599

18%

5

20,102

20%

6

17,802

18%

7

12,208

12%

8

6,561

7%

9

2,884

3%

10

967

1%

X := RndX.Normal(Mean => 5.0, StdDeviation => 3.0, min => 1, max => 10, Exclude => NULL_INTV);

# %% Bin:(1)   Count = 6063  AtLeast = 1  Weight = 1
# %% Bin:(2)   Count = 9160  AtLeast = 1  Weight = 1
# %% Bin:(3)   Count = 11768  AtLeast = 1  Weight = 1
# %% Bin:(4)   Count = 13801  AtLeast = 1  Weight = 1
# %% Bin:(5)   Count = 14916  AtLeast = 1  Weight = 1
# %% Bin:(6)   Count = 13985  AtLeast = 1  Weight = 1
# %% Bin:(7)   Count = 11732  AtLeast = 1  Weight = 1
# %% Bin:(8)   Count = 8837  AtLeast = 1  Weight = 1
# %% Bin:(9)   Count = 6046  AtLeast = 1  Weight = 1
# %% Bin:(10)  Count = 3692  AtLeast = 1  Weight = 1

X := RndX.Normal(Mean => 5.0, StdDeviation => 3.0, min => 1, max => 10, Exclude => (5,5));

# %% Bin:(1)   Count = 7183   AtLeast = 1  Weight = 1
# %% Bin:(2)   Count = 10693  AtLeast = 1  Weight = 1
# %% Bin:(3)   Count = 13886  AtLeast = 1  Weight = 1
# %% Bin:(4)   Count = 16156  AtLeast = 1  Weight = 1
# %% Bin:(5)   Count = 0      AtLeast = 1  Weight = 1
# %% Bin:(6)   Count = 16412  AtLeast = 1  Weight = 1
# %% Bin:(7)   Count = 13799  AtLeast = 1  Weight = 1
# %% Bin:(8)   Count = 10388  AtLeast = 1  Weight = 1
# %% Bin:(9)   Count = 7110   AtLeast = 1  Weight = 1
# %% Bin:(10)  Count = 4373   AtLeast = 1  Weight = 1

Распределение Poisson

Распределение Пуассона (wikipedia.org)

Распределение Poisson для RandomPkg

X := RndX.Poisson(Mean => 1.0, min => 1, max => 10, Exclude => NULL_INTV);

# %% Bin:(1)   Count = 36678  AtLeast = 1  Weight = 1
# %% Bin:(2)   Count = 36825  AtLeast = 1  Weight = 1
# %% Bin:(3)   Count = 18509  AtLeast = 1  Weight = 1
# %% Bin:(4)   Count = 6075  AtLeast = 1  Weight = 1
# %% Bin:(5)   Count = 1536  AtLeast = 1  Weight = 1
# %% Bin:(6)   Count = 322  AtLeast = 1  Weight = 1
# %% Bin:(7)   Count = 50  AtLeast = 1  Weight = 1
# %% Bin:(8)   Count = 4  AtLeast = 1  Weight = 1
# %% Bin:(9)   Count = 1  AtLeast = 1  Weight = 1
# %% Bin:(10)  Count = 0  AtLeast = 1  Weight = 1

X := RndX.Poisson(Mean => 5.0, min => 1, max => 10, Exclude => NULL_INTV);

# %% Bin:(1)   Count = 717  AtLeast = 1  Weight = 1
# %% Bin:(2)   Count = 3347  AtLeast = 1  Weight = 1
# %% Bin:(3)   Count = 8691  AtLeast = 1  Weight = 1
# %% Bin:(4)   Count = 14395  AtLeast = 1  Weight = 1
# %% Bin:(5)   Count = 18130  AtLeast = 1  Weight = 1
# %% Bin:(6)   Count = 18244  AtLeast = 1  Weight = 1
# %% Bin:(7)   Count = 15183  AtLeast = 1  Weight = 1
# %% Bin:(8)   Count = 10894  AtLeast = 1  Weight = 1
# %% Bin:(9)   Count = 6680  AtLeast = 1  Weight = 1
# %% Bin:(10)  Count = 3719  AtLeast = 1  Weight = 1

X := RndX.Poisson(Mean => 10.0, min => 1, max => 10, Exclude => NULL_INTV);

# %% Bin:(1)   Count = 6  AtLeast = 1  Weight = 1
# %% Bin:(2)   Count = 85  AtLeast = 1  Weight = 1
# %% Bin:(3)   Count = 505  AtLeast = 1  Weight = 1
# %% Bin:(4)   Count = 1665  AtLeast = 1  Weight = 1
# %% Bin:(5)   Count = 4123  AtLeast = 1  Weight = 1
# %% Bin:(6)   Count = 8354  AtLeast = 1  Weight = 1
# %% Bin:(7)   Count = 13681  AtLeast = 1  Weight = 1
# %% Bin:(8)   Count = 19790  AtLeast = 1  Weight = 1
# %% Bin:(9)   Count = 24362  AtLeast = 1  Weight = 1
# %% Bin:(10)  Count = 27429  AtLeast = 1  Weight = 1

X := RndX.Poisson(Mean => 1.0, min => 1, max => 10, Exclude => NULL_INTV);

1

36,678

37%

2

36,825

37%

3

18,509

19%

4

6,075

6%

5

1,536

2%

6

322

0%

7

50

0%

8

4

0%

9

1

0%

10

0

0%

NEW

Open Source VHDL Verification Methodology/Описание пакета RandomPkg/Примеры распределений

Содержание

Пример

Распределение Favor_small

Распределение Favor_big

Распределение Normal

Распределение Poisson

NEW

Навигация

Персональные инструменты

Пространства имён

Варианты

Просмотры

Действия

Поиск

Навигация

Поиск

Инструменты