haskell – 将York Lava功能转换为Kansas Lava

2023年9月10日 149次阅读

我在这里有一个York Lava函数,我想在Kansas Lava中重写它.但它不想工作,我不知道我应该这样做.

请有人帮我这个吗？

{-Serial In - Parallel Out shiftregister. The serial bit is inserted at
the least significant bit position. The data is shifted LSB -> MSB
each and every clock cycle-}

sipo :: Int   -- ^ The number of bits in the output word.
     -> Bit   -- ^ The input bit.
     -> [Bit] -- ^ The output word.
sipo 1 inp = [inp]
sipo n inp = inp : rest
  where
    inp' = delay low inp
    rest = sipo (n-1) inp'

上面这个函数给出了一些例子的正确结果：

n = 3
inp = high
out = [high, low, low]

n= 5
inp = high
out = [high, low, low, low, low]

现在我试着在Kansas Lava中写这个,它们是一个延迟功能,但我得到了奇怪的结果.
下面的代码生成我,使用与第一个示例相同的参数：

n = 3
inp = high
out = [high?, high., high!] (don't know what that means)

sipo :: (Clock clk)
     => Int               -- ^ The number of bits in the output word.
     -> Signal clk Bool     -- ^ The input bit.
     -> [Signal clk Bool]   -- ^ The output word.
sipo 1 inp = [inp]
sipo n inp = inp : rest
  where
    inp' = delay inp
    rest = sipo (n-1) inp'

最佳答案 您的代码完全按预期工作.

在GHCi的模拟器中试用你的功能,结果是：

*Main> sipo 3 (high :: Signal CLK Bool)
[high,? | high .,? | ? | high .]

阅读方式是：

 sipo 3 high !! 0 = high
 sipo 3 high !! 1 = ?    | high
 sipo 3 high !! 2 = ?    | ?    | high

熔岩模拟器的输出意味着第一个循环中的第一个输出为高,并且没有模拟器输入来告知其他值.类似地,第二个输出在第一个周期中未定义,在第二个周期中为高;并且第三个输出在两个周期中未定义,在第三个输出中为高.

这是完全合理的,因为第二个输出在第一个周期中没有设置为任何东西：延迟的输入信号还没有时间到达那里.

结果与York Lava不同的原因是York Lava的延迟原语似乎需要额外的值才能在第一个时钟周期之前使用.不过,我不确定它是否可以合成.

点赞