Описание тега lava
Домен-специфический язык (DSL) для выражения аппаратно-ориентированных описаний вычислений.
1
ответ
Поведение прерывания 6502 в автономном тесте по сравнению с Commodore PET
Я строю Commodore PET на ПЛИС. Я реализовал свое собственное ядро 6502 в Канзас-Лаве (код доступен по адресу https://github.com/gergoerdi/mos6502-kansas-lava) и поместил в него достаточно ввода-вывода ( https://github.com/gergoerdi/eightbit-kansas…
04 июл '15 в 13:03
1
ответ
Преобразование функции Йорк Лава в Канзас Лава
У меня здесь есть функция Йорк Лава, которую я хочу переписать в Канзас Лаве. Но он не хочет работать, и я не знаю, должен ли я это делать на самом деле. Может кто-нибудь помочь мне с этим, пожалуйста? {-Serial In - Parallel Out shiftregister. The s…
09 май '14 в 16:39
1
ответ
Несколько присвоений одному и тому же регистру в блоке RTL с помощью Kansas Lava
У меня возникают проблемы с пониманием поведения Канзас Лава, когда RTL Блок содержит несколько присвоений одному и тому же регистру. Вот версия № 1: foo :: (Clock c) => Signal clk Bool foo = runRTL $ do r <- newReg True r := low return $ var …
22 дек '12 в 10:49
1
ответ
Haskell немного, чтобы bool ошибка
Я пишу функцию, которая немного преобразует в bool в Канзас-Лаве. Я могу сделать это двумя способами, но ни один из них не работает. Функция должна делать следующее: Получите немного (низкий или высокий) Преобразуйте его в соответствующий логический…
05 май '14 в 07:59
0
ответов
Присвоение выходному сигналу и изменение значения регистра из одной и той же ветви в блоке RTL
В VHDL я могу написать что-то вроде этого, чтобы изменить значение, хранящееся в регистре COUNTER и назначить выходному сигналу из той же ветви условия: entity AssignTest is port (CLK: in std_logic; OUTPUT: out std_logic_vector(1 downto 0)); end Ass…
21 авг '15 в 11:32
1
ответ
От сигнала Int до Int в Хаскеле
Я работаю с библиотекой Haskell, которая описывает цифровые схемы (Lava), ее функциональные входы и выходы имеют сигнал типа ( Signal Bool, Signal Int), насколько я знаю, что нет функции, которая преобразует из Signal Int в Int, я знаю, что есть нес…
28 ноя '18 в 09:52
0
ответов
Проверка эквивалентности с использованием Lava
Я пытался проверить свойство эквивалентности между двумя цепями в Chalmers Lava. Я объявил бит типа: type Bit = Signal Bool И у меня есть две схемы, каждая имеет список битов в качестве входных данных и кортеж списков битов, а также функцию, которая…
14 фев '18 в 12:31
1
ответ
Индексация матрицы матриц с помощью сигнала в канзасской лаве
Я пытаюсь реализовать временное мультиплексирование для управления 7-сегментным дисплеем с 4 цифрами: устройство имеет 7 ветвей данных и 4 анода, поэтому, если вы хотите отобразить четыре разные цифры, вы должны установить аноды в 0001 сначала и ног…
03 ноя '12 в 18:03
1
ответ
Не может запустить фоновые службы на Lava Iris X1
Я тестировал на других устройствах, таких как Sony и Samsung, работает нормально, но мои фоновые сервисы не работают в lava iris x1. Есть ли какие-либо настройки безопасности или другие настройки, блокирующие это? антивирус не установлен, его новое …
22 ноя '17 в 15:22
1
ответ
Ошибки регистра сдвига в Haskell/Kansas Lava
Я получил кусок кода из бумаги Канзас-Лава, которая работает. counter :: Signal CLK Bool -> Signal CLK Bool -> Signal CLK Int counter restart inc = loop where reg = register 0 loop reg' = mux restart (0, reg) loop = mux inc (reg' + 1, reg') Те…
07 май '14 в 08:11
2
ответа
В чем разница между долотом и лавой и CLaSH?
Я изучал источники Chisel, а также различные Lavas (Канзас, Chalmers и Xilinx) и CLaSH. Я пытаюсь понять, каковы основные преимущества продажи долота по сравнению с другими. Основным, что я определил, является быстрое моделирование. Мне было интерес…
14 дек '14 в 18:19
1
ответ
Конструктор типа Haskell в универсальной функции
Я копаюсь в системе Haskell Lava HDL и застрял в понимании http://hackage.haskell.org/package/chalmers-lava2000-1.6.1/docs/src/Lava-Vhdl.html Может кто-нибудь сказать мне, что функция (var "inp") в writeVhdlразрешается? функция var еще не определен …
05 май '19 в 18:45
0
ответов
кодирование функции градиента с весами, а также добавление более одного цвета
Я усердно работал над школьным заданием, связанным с Shadertoy, в котором используется GLSL. Проект состоит в том, чтобы сделать «искаженный» фрагментный шейдер, и я подумал, что смогу сделать свой медленно движущийся поток магмы. По сути, я хочу сд…
14 сен '22 в 19:44