Tag: 熔岩

与堪萨斯熔岩RTL块相同的寄存器的多个分配

当RTL块包含多个赋值给同一个寄存器时，我无法理解堪萨斯熔岩的行为。 这是版本号1： foo :: (Clock c) => Signal clk Bool foo = runRTL $ do r <- newReg True r := low return $ var r 这performance得如我所料： *Main> takeS 10 foo :: Seq Bool low | low | low | low | low | low | low | low | low | low | ? […]