通用函數中的Haskell類型構造函數

[英]Haskell type constructor in generic function

我在Haskell Lava HDL系統中四處搜尋，並停留在了解http://hackage.haskell.org/package/chalmers-lava2000-1.6.1/docs/src/Lava-Vhdl.html#writeVhdl 有人可以告訴我writeVhdl函數(v ...

從Signal Int到Haskell中的Int

[英]From Signal Int to Int in Haskell

我正在使用描述數字電路（Lava）的Haskell libraby進行工作，據我所知，沒有函數可以將Signal Int轉換為Signal（信號Bool，Signal Int）。整數，我知道我們可以對Signal Int類型使用幾種算術運算，但是並非所有的算術運算都是可行的。 我寫了這個函數， ...

獨立測試中的6502與Commodore PET中的中斷行為

[英]Interrupt behavior of a 6502 in standalone test vs. in a Commodore PET

我正在FPGA上構建Commodore PET。 我已經在堪薩斯熔岩中實現了我自己的6502內核（可在https://github.com/gergoerdi/mos6502-kansas-lava上獲得代碼），並在其周圍放置足夠的IO（ https://github.com/gergoerd ...

Chisel 和 Lava 和 CLaSH 有什么區別？

[英]What's the difference between Chisel and Lava and CLaSH?

我一直在研究 Chisel 以及各種 Lavas（Kansas、Chalmers 和 Xilinx 口味）和 CLaSH 的來源。 我試圖了解 Chisel 與其他產品的主要賣點是什么。 我發現的主要方法是快速模擬。 我想知道更深入研究的人是否可以指出其他優點、缺點和權衡。 （對不起，如果這是 ...

將York Lava功能轉換為Kansas Lava

[英]Converting York Lava function to Kansas Lava

我在這里有一個York Lava函數，我想在Kansas Lava中重寫它。 但它不想工作，我不知道我應該這樣做。 請有人幫我這個嗎？ 上面這個函數給出了一些例子的正確結果： 現在我試着在Kansas Lava中寫這個，它們是一個延遲功能，但我得到了奇怪的結果。 下面的代碼 ...

Haskell / Kansas Lava移位寄存器錯誤

[英]Haskell/Kansas Lava shift register errors

我從堪薩斯州的熔岩紙上得到了一段代碼，這行得通。 現在，我嘗試在另一個功能和另一個功能中執行相同的操作，但這不起作用。 現在出現以下錯誤： 無法將預期類型[Signal i0 Bool]與實際類型Signal clk0 a0 （3x）相Signal clk0 a0 ...

Haskell誤判錯誤

[英]Haskell bit to bool error

我正在寫一個函數，它將在堪薩斯熔岩中轉換為布爾值。 我可以通過兩種方式做到這一點，但它們都不起作用。 該函數必須執行以下操作： 接收一點（低或高） 將其轉換為相應的布爾值=>如果值低則為False，值高則為True 第一種方法： 在這種方法中，我得 ...

使用Kansas Lava對RTL塊中的同一寄存器進行多次分配

[英]Multiple assignments to the same register in an RTL block with Kansas Lava

當RTL塊包含對同一寄存器的多個賦值時，我無法理解Kansas Lava的行為。 這是版本號1： 這表現得像我預期的那樣： 生成的VHDL是： 但是，我希望其他版本也可以使用： 但事實並非如此，第二項任務未被考慮在內： 我之所以感到困惑的原因是因為reg ...

用堪薩斯熔岩中的信號索引矩陣矩陣

[英]Indexing a matrix of matrices with a signal in Kansas Lava

我正在嘗試實現時間多路復用來驅動一個4位數的7段顯示器：該設備有7個數據段和4個陽極，因此如果要顯示四個不同的數字，則必須先將陽極設置為0001並且數據段到您的細分; 然后過一會兒，將陽極設置為0010並更新數據支路; 等等。 我正試圖在Kansas Lava中實現它。 但是，Xil ...