Упражнения

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

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

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

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

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

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