Open Source VHDL Verification Methodology/История

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

Проект OS-VVM

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

---

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

• CoveragePkg.vhd
• RandomPkg.vhd
  • RandomBasePkg.vhd
  • SortListPkg_int.vhd
• Примеры

---

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

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

---

Презентации

• Верификация в VHDL
• Презентация (eng)
• Better Coverage in VHDL (eng)

---

Coverage

• Code Coverage (en)
• Functional Coverage (en)

---

• Словарь терминов
• Дневник
• История проекта

* VHDL * PSL *

Uniform, Favor_small,Favor_big

Функции генерации случайных чисел с различным распределением вероятности (Uniform, Favor_small,Favor_big)

Имя функции	Входные параметры	Return	Описание
Uniform Favor_small Favor_big	Min, Max : real	real
	Min, Max : integer	integer
	Min, Max : integer Exclude: integer_vector	integer

Имя функции	Входные параметры			Return	Описание
	Min	Max	Exclude
Uniform Favor_small Favor_big	real	real	–	real
	integer	integer	–	integer
	integer	integer	integer_vector	integer

Normal

Имя функции	Входные параметры	Return	Описание
Normal	Mean, StdDeviation : real	real
	Mean, StdDeviation, Min, Max : real	real
	Mean  : real ; StdDeviation  : real ; Min  : integer ; Max  : integer ; Exclude  : integer_vector := NULL_INTV	integer

Имя функции	Входные параметры					Return	Описание
	Mean	StdDeviation	Min	Max	Exclude
Normal	real	real	–	–	–	real
	real	real	real	real	–	real
	real	real	integer	integer	integer_vector	integer

Poisson

Имя функции	Входные параметры	Return	Описание
Poisson	Mean : real	real
	Mean, Min, Max : real	real
	Mean  : real ; Min  : integer ; Max  : integer ; Exclude  : integer_vector := NULL_INTV	integer

Имя функции	Входные параметры				Return	Описание
	Mean	Min	Max	Exclude
Poisson	real	–	–	–	real
	real	real	real	–	real
	real	integer	integer	integer_vector	integer

RandInt, RandSlv, RandUnsigned, RandSigned

   -- real randomization with a range
   impure function RandReal(Min, Max: Real) return real ;

Имя функции	Входные параметры				Return	Описание
	Min	Max	A	Exclude
RandInt	integer	integer	–	–	integer	Генерация числа в диапазоне [Min, Max]
	integer	integer	–	integer_vector		Генерация числа в диапазоне [Min, Max] исключая список Exclude
	–	–	integer_vector	–		Генерация случ. числа из списка чисел A
	–	–	integer_vector	integer_vector		Генерация случ. числа из списка чисел A исключая список Exclude

impure function RandInt (Min, Max : integer)                            return integer ;
impure function RandInt (Min, Max : integer;  Exclude: integer_vector ) return integer ;
impure function RandInt ( A : integer_vector )                          return integer ;
impure function RandInt ( A : integer_vector; Exclude: integer_vector ) return integer ;

Имя функции	Входные параметры					Return	Описание
	Min	Max	A	Exclude	Size
RandSlv	natural	natural	–	–	natural	std_logic_vector	Генерация вектора размерностью Size в диапазоне значений [Min, Max]
	natural	natural	–	integer_vector	natural		Генерация вектора размерностью Size в диапазоне [Min, Max] исключая список Exclude
	–	–	integer_vector	–	natural		Генерация случ. вектора размерностью Size из списка чисел A
	–	–	integer_vector	integer_vector	natural		Генерация случ. вектора размерностью Size из списка чисел A исключая список Exclude

impure function RandSlv (Min, Max,                                     Size : natural ) return std_logic_vector ;
impure function RandSlv (Min, Max : natural; Exclude: integer_vector ; Size : natural ) return std_logic_vector ;
impure function RandSlv (A : integer_vector ;                          Size : natural ) return std_logic_vector ;
impure function RandSlv (A : integer_vector; Exclude: integer_vector;  Size : natural ) return std_logic_vector ;

Имя функции	Входные параметры					Return	Описание
	Min	Max	A	Exclude	Size
RandUnsigned	natural	natural	–	–	natural	Unsigned	Генерация вектора размерностью Size в диапазоне значений [Min, Max]
	natural	natural	–	integer_vector	natural		Генерация вектора размерностью Size в диапазоне [Min, Max] исключая список Exclude
	–	–	integer_vector	–	natural		Генерация случ. вектора размерностью Size из списка чисел A
	–	–	integer_vector	integer_vector	natural		Генерация случ. вектора размерностью Size из списка чисел A исключая список Exclude

impure function RandUnsigned (Min, Max,                                     Size : natural ) return Unsigned ;
impure function RandUnsigned (Min, Max : natural; Exclude: integer_vector ; Size : natural ) return Unsigned ;
impure function RandUnsigned (A : integer_vector ;                          Size : natural ) return Unsigned ;
impure function RandUnsigned (A : integer_vector; Exclude: integer_vector ; Size : natural ) return Unsigned ;

Таблицы RandSlv и RandUnsigned можно объединить, только по выходу различие std_logic_vector и Unsigned соответственно.

Имя функции	Входные параметры					Return	Описание
	Min	Max	A	Exclude	Size
RandSigned	integer	integer	–	–	natural	Signed	Генерация вектора размерностью Size в диапазоне значений [Min, Max]
	integer	integer	–	integer_vector	natural		Генерация вектора размерностью Size в диапазоне [Min, Max] исключая список Exclude
	–	–	integer_vector	–	natural		Генерация случ. вектора размерностью Size из списка чисел A
	–	–	integer_vector	integer_vector	natural		Генерация случ. вектора размерностью Size из списка чисел A исключая список Exclude

impure function RandSigned   (Min, Max : integer;                           Size : natural ) return Signed ;
impure function RandSigned   (Min, Max : integer; Exclude: integer_vector ; Size : natural ) return Signed ;
impure function RandSigned   (A : integer_vector ;                          Size : natural ) return Signed ;
impure function RandSigned   (A : integer_vector; Exclude: integer_vector ; Size : natural ) return Signed ;

Имя функции	Входные параметры					Return	Описание
	Min	Max	A	Exclude	Size
RandInt	integer	integer	–	–	–	integer	Генерация числа в диапазоне [Min, Max]
	integer	integer	–	integer_vector	–		Генерация числа в диапазоне [Min, Max] исключая список Exclude
	–	–	integer_vector	–	–		Генерация случ. числа из списка чисел A
	–	–	integer_vector	integer_vector	–		Генерация случ. числа из списка чисел A исключая список Exclude
RandSlv	natural	natural	–	–	natural	std_logic_vector	Генерация вектора размерностью Size в диапазоне значений [Min, Max]
	natural	natural	–	integer_vector	natural		Генерация вектора размерностью Size в диапазоне [Min, Max] исключая список Exclude
	–	–	integer_vector	–	natural		Генерация случ. вектора размерностью Size из списка чисел A
	–	–	integer_vector	integer_vector	natural		Генерация случ. вектора размерностью Size из списка чисел A исключая список Exclude
RandUnsigned	natural	natural	–	–	natural	Unsigned	Генерация вектора размерностью Size в диапазоне значений [Min, Max]
	natural	natural	–	integer_vector	natural		Генерация вектора размерностью Size в диапазоне [Min, Max] исключая список Exclude
	–	–	integer_vector	–	natural		Генерация случ. вектора размерностью Size из списка чисел A
	–	–	integer_vector	integer_vector	natural		Генерация случ. вектора размерностью Size из списка чисел A исключая список Exclude
RandSigned	integer	integer	–	–	natural	Signed	Генерация вектора размерностью Size в диапазоне значений [Min, Max]
	integer	integer	–	integer_vector	natural		Генерация вектора размерностью Size в диапазоне [Min, Max] исключая список Exclude
	–	–	integer_vector	–	natural		Генерация случ. вектора размерностью Size из списка чисел A
	–	–	integer_vector	integer_vector	natural		Генерация случ. вектора размерностью Size из списка чисел A исключая список Exclude

Повтор объединения по другому критерию

Имя функции	Входные параметры			Return	Описание
	Min	Max	Size
RandInt	integer	integer	–	integer	Генерация числа в диапазоне [Min, Max]
RandSlv	natural	natural	natural	std_logic_vector	Генерация вектора размерностью Size в диапазоне значений [Min, Max]
RandUnsigned	natural	natural	natural	Unsigned
RandSigned	integer	integer	natural	Signed

   --  integer randomization with a range
   impure function RandInt      (Min, Max : integer) return integer ;
   impure function RandSlv      (Min, Max,           Size : natural ) return std_logic_vector ;
   impure function RandUnsigned (Min, Max,           Size : natural ) return Unsigned ;
   impure function RandSigned   (Min, Max : integer; Size : natural ) return Signed ;

Имя функции	Входные параметры				Return	Описание
	Min	Max	Exclude	Size
RandInt	integer	integer	integer_vector	–	integer	Генерация числа в диапазоне [Min, Max] исключая список Exclude
RandSlv	natural	natural	integer_vector	natural	std_logic_vector	Генерация вектора размерностью Size в диапазоне [Min, Max] исключая список Exclude
RandUnsigned	natural	natural	integer_vector	natural	Unsigned
RandSigned	integer	integer	integer_vector	natural	Signed

 --  integer randomization with a range and exclude vector
 impure function RandInt      (Min, Max : integer; Exclude: integer_vector ) return integer ;
 impure function RandSlv      (Min, Max : natural; Exclude: integer_vector ; Size : natural ) return std_logic_vector ;
 impure function RandUnsigned (Min, Max : natural; Exclude: integer_vector ; Size : natural ) return Unsigned ;
 impure function RandSigned   (Min, Max : integer; Exclude: integer_vector ; Size : natural ) return Signed ;

Имя функции	Входные параметры		Return	Описание
	A	Size
RandInt	integer_vector	–	integer	Генерация случ. числа из списка чисел A
RandSlv	integer_vector	natural	std_logic_vector	Генерация случ. вектора размерностью Size из списка чисел A
RandUnsigned	integer_vector	natural	Unsigned
RandSigned	integer_vector	natural	Signed

   -- Randomly select a value within a set of values
impure function RandInt      (A : integer_vector                  ) return integer ;
impure function RandSlv      (A : integer_vector ;  Size : natural) return std_logic_vector  ;
impure function RandUnsigned (A : integer_vector ;  Size : natural) return Unsigned ;
impure function RandSigned   (A : integer_vector ;  Size : natural) return Signed ;

Имя функции	Входные параметры			Return	Описание
	A	Exclude	Size
RandInt	integer_vector	integer_vector	–	integer	Генерация случ. числа из списка чисел A исключая список Exclude
RandSlv	integer_vector	integer_vector	natural	std_logic_vector	Генерация случ. вектора размерностью Size из списка чисел A исключая список Exclude
RandUnsigned	integer_vector	integer_vector	natural	Unsigned
RandSigned	integer_vector	integer_vector	natural	Signed

   -- Randomly select a value within a set of values with exclude values (so can skip last or last n)
impure function RandInt      (A : integer_vector; Exclude: integer_vector                  ) return integer ;
impure function RandSlv      (A : integer_vector; Exclude: integer_vector;   Size : natural) return std_logic_vector  ;
impure function RandUnsigned (A : integer_vector; Exclude: integer_vector ;  Size : natural) return Unsigned ;
impure function RandSigned   (A : integer_vector; Exclude: integer_vector ;  Size : natural) return Signed ;

Общая таблица функций генерации псевдослучайных чисел

Имя функции	Входные параметры					Return	Описание
	Min	Max	A	Exclude	Size
RandReal	–	–	–	–	–	real	Возвращает псевдослучайное число из диапазона [0.0, 1.0]
RandSigned					natural	Signed	Возвращает вектор размерности Size из диапазона [0, 2**Size-1]
RandUnsigned						Unsigned
RandSlv						std_logic_vector
RandReal	–	real	–	–	–	real	Возвращает псевдослучайное число из диапазона [0.0, Max]
RandInt		integer				integer
RandSigned					natural	Signed	Возвращает вектор размерности Size из диапазона [0.0, Max]
RandUnsigned		natural				Unsigned
RandSlv						std_logic_vector
RandReal	Real	Real	–	–	–	Real	Возвращает псевдослучайное число из диапазона [Min, Max]
RandInt	integer	integer				integer
RandSigned					natural	Signed	Генерация вектора размерностью Size в диапазоне значений [Min, Max]
RandUnsigned	natural	natural				Unsigned
RandSlv						std_logic_vector
RandInt	integer	integer	–	integer_vector	–	integer	Генерация числа в диапазоне [Min, Max] исключая список Exclude
RandSigned					natural	Signed	Генерация вектора размерностью Size в диапазоне [Min, Max] исключая список Exclude
RandUnsigned	natural	natural				Unsigned
RandSlv						std_logic_vector
RandInt	–	–	integer_vector	–	–	integer	Генерация случ. числа из списка чисел A
RandSigned					natural	Signed	Генерация случ. вектора размерностью Size из списка чисел A
RandUnsigned						Unsigned
RandSlv						std_logic_vector
RandInt	–	–	integer_vector	integer_vector	–	integer	Генерация случ. числа из списка чисел A исключая список Exclude
RandSigned					natural	Signed	Генерация случ. вектора размерностью Size из списка чисел A исключая список Exclude
RandUnsigned						Unsigned
RandSlv						std_logic_vector

Имя функции	Входные параметры					Return	Описание
	Min	Max	A	Exclude	Size
RandInt	integer	integer	–	–	–	integer	Генерация числа в диапазоне [Min, Max]
RandSigned	integer	integer	–	–	natural	Signed	Генерация вектора размерностью Size в диапазоне значений [Min, Max]
RandUnsigned	natural	natural	–	–	natural	Unsigned
RandSlv	natural	natural	–	–	natural	std_logic_vector
RandInt	integer	integer	–	integer_vector	–	integer	Генерация числа в диапазоне [Min, Max] исключая список Exclude
RandSigned	integer	integer	–	integer_vector	natural	Signed	Генерация вектора размерностью Size в диапазоне [Min, Max] исключая список Exclude
RandUnsigned	natural	natural	–	integer_vector	natural	Unsigned
RandSlv	natural	natural	–	integer_vector	natural	std_logic_vector
RandInt	–	–	integer_vector	–	–	integer	Генерация случ. числа из списка чисел A
RandSigned	–	–	integer_vector	–	natural	Signed	Генерация случ. вектора размерностью Size из списка чисел A
RandUnsigned	–	–	integer_vector	–	natural	Unsigned
RandSlv	–	–	integer_vector	–	natural	std_logic_vector
RandInt	–	–	integer_vector	integer_vector	–	integer	Генерация случ. числа из списка чисел A исключая список Exclude
RandSigned	–	–	integer_vector	integer_vector	natural	Signed	Генерация случ. вектора размерностью Size из списка чисел A исключая список Exclude
RandUnsigned	–	–	integer_vector	integer_vector	natural	Unsigned
RandSlv	–	–	integer_vector	integer_vector	natural	std_logic_vector

Имя функции	Входные параметры				Return	Описание
	Min	Max	Exclude	Size
RandInt	integer	integer	–	–	integer	Генерация числа в диапазоне [Min, Max]
RandSigned				natural	Signed	Генерация вектора размерностью Size в диапазоне значений [Min, Max]
RandUnsigned	natural	natural			Unsigned
RandSlv					std_logic_vector
RandInt	integer	integer	integer_vector	–	integer	Генерация числа в диапазоне [Min, Max] исключая список Exclude
RandSigned				natural	Signed	Генерация вектора размерностью Size в диапазоне [Min, Max] исключая список Exclude
RandUnsigned	natural	natural			Unsigned
RandSlv					std_logic_vector

Имя функции	Входные параметры			Return	Описание
	A	Exclude	Size
RandInt	integer_vector	–	–	integer	Генерация случ. числа из списка чисел A
RandSigned			natural	Signed	Генерация случ. вектора размерностью Size из списка чисел A
RandUnsigned				Unsigned
RandSlv				std_logic_vector
RandInt	integer_vector	integer_vector	–	integer	Генерация случ. числа из списка чисел A исключая список Exclude
RandSigned			natural	Signed	Генерация случ. вектора размерностью Size из списка чисел A исключая список Exclude
RandUnsigned			natural	Unsigned
RandSlv			natural	std_logic_vector

DistInt

   -- Randomly select between 0 and N-1 based on the specified weight.
   -- where N = number values in weight array
impure function DistInt      ( Weight : integer_vector                   ) return integer ;
impure function DistSlv      ( Weight : integer_vector ; Size  : natural ) return std_logic_vector ;
impure function DistUnsigned ( Weight : integer_vector ; Size  : natural ) return unsigned ;
impure function DistSigned   ( Weight : integer_vector ; Size  : natural ) return signed ;

   -- Distribution with just weights and with exclude values
impure function DistInt      ( Weight : integer_vector; Exclude: integer_vector                  ) return integer ;
impure function DistSlv      ( Weight : integer_vector; Exclude: integer_vector; Size  : natural ) return std_logic_vector ;
impure function DistUnsigned ( Weight : integer_vector; Exclude: integer_vector; Size  : natural ) return unsigned ;
impure function DistSigned   ( Weight : integer_vector; Exclude: integer_vector; Size  : natural ) return signed ;

   -- Distribution with weight and value
impure function DistValInt      ( A : DistType                  ) return integer ;
impure function DistValSlv      ( A : DistType ; Size  : natural) return std_logic_vector ;
impure function DistValUnsigned ( A : DistType ; Size  : natural) return unsigned ;
impure function DistValSigned   ( A : DistType ; Size  : natural) return signed ;

   -- Distribution with weight and value and with exclude values
impure function DistValInt      ( A : DistType; Exclude: integer_vector                 ) return integer ;
impure function DistValSlv      ( A : DistType; Exclude: integer_vector; Size  : natural) return std_logic_vector ;
impure function DistValUnsigned ( A : DistType; Exclude: integer_vector; Size  : natural) return unsigned ;
impure function DistValSigned   ( A : DistType; Exclude: integer_vector; Size  : natural) return signed ;

Имя функции	Входные параметры				Return	Описание
	Weight	A	Exclude	Size
DistInt	integer_vector	–	–	–	integer	Возвращает псевдослучайное число (или вектор размерностью Size) из диапазона [0, N-1] на основе заданного массива весов Weight, где N число элементов в массиве Weight
DistSlv				natural	std_logic_vector
DistUnsigned				natural	unsigned
DistSigned				natural	signed
DistInt	integer_vector	–	integer_vector	–	integer	Distribution with just weights and with exclude values
DistSlv				natural	std_logic_vector
DistUnsigned					unsigned
DistSigned					signed
DistValInt	–	DistType	–	–	integer	Distribution with weight and value
DistValSlv				natural	std_logic_vector
DistValUnsigned					unsigned
DistValSigned					signed
DistValInt	–	DistType	integer_vector	–	integer	Distribution with weight and value and with exclude values
DistValSlv				natural	std_logic_vector
DistValUnsigned					unsigned
DistValSigned					signed

Convenience Functions

   -- Convenience Functions
   impure function RandReal                                      return real ;             -- 0.0 to 1.0
   impure function RandSigned   (                Size : natural) return Signed ;
   impure function RandUnsigned (                Size : natural) return Unsigned ;
   impure function RandSlv      (                Size : natural) return std_logic_vector ;
   impure function RandReal     (Max : Real                    ) return real ;             -- 0.0 to Max
   impure function RandInt      (Max : integer                 ) return integer ;
   impure function RandSigned   (Max : integer;  Size : natural) return Signed ;
   impure function RandUnsigned (Max,            Size : natural) return Unsigned ;
   impure function RandSlv      (Max,            Size : natural) return std_logic_vector ;

Имя функции	Входные параметры		Return	Описание
	Max	Size
RandReal	–	–	real	Возвращает псевдослучайное число из диапазона [0.0, 1.0]
RandSigned		natural	Signed	Возвращает вектор размерности Size из диапазона [0, 2**Size-1]
RandUnsigned			Unsigned
RandSlv			std_logic_vector
RandReal	real	–	real	Возвращает псевдослучайное число из диапазона [0.0, Max]
RandInt	integer		integer
RandSigned		natural	Signed	Возвращает вектор размерности Size из диапазона [0.0, Max]
RandUnsigned	natural		Unsigned
RandSlv			std_logic_vector