我正在尝试使用一个定义在这里的dfold dfold :: KnownNat k => Proxy (p :: TyFun Nat * -> *) -> (forall l. SNat l -> a -> (p @@ l...

我一直在研究 Chisel 的源代码以及各种 Lava（Kansas、Chalmers 和 Xilinx 版本）和 CLaSH。我试图理解 Chisel 相对于其他技术的主要优势，发现其最主要的卖点是快速模拟。 我想知道那些深入研究过的人能否指出其他的优点、缺点和权衡。 （如果这太多是讨论...