Упражнения

  1. Реализуйте модуль, который принимает на вход два однобитных входа a и b, а на выход c выдает значение с ≡ a → b, где → — импликация.

  2. Реализуйте модуль, вычисляющий отрицание импликации с ≡ ¬(a → b).

  3. Реализуйте модуль, вычисляющий значение стрелки Пирса с ≡ ¬(a OR b).

  4. Реализуйте модуль, вычисляющий значение штриха Шеффера с ≡ ¬(a AND b).

  5. Напишите тестбенч для модулей из упражнений 1., 2., 3., 4.

  6. Верифицируйте хотя бы один модуль из упражнений 2., 3., 4 с помощью нескольких режимов.

  7. (опциональное) Напишите собственный Makefile и используйте его в своей любимой CI системе.