Felix Klein
Felix Klein
The name of an ILA or VIO can be set using Clash's [`setName`](https://github.com/clash-lang/clash-compiler/blob/master/clash-prelude/src/Clash/Magic.hs#L126), which turns out to be useful if data needs to be passed or read from these components...
As discovered during the discussion of #2649 by @christiaanb, the following pattern match does not seem to work correctly https://github.com/clash-lang/clash-compiler/blob/5e01ae2aec13f7b91cc8a6f5475feb4f24bf50b5/clash-cores/src/Clash/Cores/Xilinx/Ila/Internal.hs#L278 as the following example ```haskell module Test where import Clash.Explicit.Prelude...
The following example compiles without errors / warnings and does not wrap the used out-of-range constant: ```haskell module Test where import Clash.Prelude topEntity :: Signal System (Unsigned 2) topEntity =...
The PR introduces a new `clash-testbench` framework, which offers extended test bench design capabilities on top of Clash. Test benches created with this framework can either be run naively in...
We recently tried to synthesize some simple popCount extension for KnownSized BitVectors for the [bittide-hardware](https://github.com/bittide/bittide-hardware) project ```haskell popCountTo32 :: KnownNat n => BitVector n -> Signed 32 popCountTo32 = resize...
The PR extends `dfold` with a boundary proof for the folded function and introduces `smapWithBounds` offering a boundary proof as well. `smapWithBounds` is introduced in addition to `smap`, as the...
We got the following error in `bittide-hardware` (see [this CI run](https://github.com/bittide/bittide-hardware/actions/runs/8828184857/job/24236755550#step:8:85)): ``` : error: Clash.Netlist.BlackBox(218): Couldn't instantiate blackbox for Clash.Sized.Vector.imap_go. Verification procedure reported: Blackbox requested instantiation of function at argument...
The PR adds the `CLogWZ` type family to the solver, which allows for a `CLog` definition with a well defined output for the case of the second non-base argument being...
The following reproducer ```haskell {-# LANGUAGE AllowAmbiguousTypes #-} {-# OPTIONS_GHC -fconstraint-solver-iterations=20 #-} module Top where import Clash.Prelude import Data.Proxy import Data.Type.Bool data T = A type family TF (t ::...