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

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

Проект OS-VVM

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

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

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

Презентации

Coverage

Code Coverage (en)
Functional Coverage (en)

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

* VHDL * PSL *

Содержание

1 Uniform, Favor_small,Favor_big
2 Normal
3 Poisson
4 RandInt, RandSlv, RandUnsigned, RandSigned
- 4.1 Повтор объединения по другому критерию
- 4.2 Общая таблица функций генерации псевдослучайных чисел
5 DistInt
6 Convenience Functions
7 NEW

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	Return	Описание
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	Return	Описание
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	Return	Описание
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	Return	Описание
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	Return	Описание
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	Return	Описание
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	Return	Описание
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	Return	Описание
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	Return	Описание
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	Return	Описание
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	Return	Описание
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	Return	Описание
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	Return	Описание
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	Возвращает псевдослучайное число из диапазона [0.0, Max]
RandSigned		integer			natural	Signed	Возвращает вектор размерности Size из диапазона [0.0, Max]
RandUnsigned		natural				Unsigned
RandSlv		natural				std_logic_vector

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

RandInt	integer	integer	–	integer_vector	–	integer	Генерация числа в диапазоне [Min, Max] исключая список Exclude
RandSigned	integer	integer			natural	Signed	Генерация вектора размерностью Size в диапазоне [Min, Max] исключая список Exclude
RandUnsigned	natural	natural				Unsigned
RandSlv	natural	natural				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	Return	Описание
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	Return	Описание
RandInt	integer	integer	–	–	integer	Генерация числа в диапазоне [Min, Max]
RandSigned	integer	integer		natural	Signed	Генерация вектора размерностью Size в диапазоне значений [Min, Max]
RandUnsigned	natural	natural			Unsigned
RandSlv	natural	natural			std_logic_vector

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

Имя функции	Входные параметры			Return	Описание
Имя функции	A	Exclude	Size	Return	Описание
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	Return	Описание
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	Return	Описание
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	Возвращает псевдослучайное число из диапазона [0.0, Max]
RandSigned	integer	natural	Signed	Возвращает вектор размерности Size из диапазона [0.0, Max]
RandUnsigned	natural		Unsigned
RandSlv	natural		std_logic_vector

NEW

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

Материал из Wiki

Содержание

Uniform, Favor_small,Favor_big

Normal

Poisson

RandInt, RandSlv, RandUnsigned, RandSigned

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

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

DistInt

Convenience Functions

NEW