Hoogle Search
Within LTS Haskell 24.42 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
clash-prelude Clash.Explicit.Verification A property is a temporal or basic assertion that's specified to either used as an _assert_ or _cover_ statement. See assert and cover.
-
Clash is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. The merits of using a functional language to describe hardware comes from the fact that combinational circuits can be directly modeled as mathematical functions and that functional languages lend themselves very well at describing and (de-)composing mathematical functions. This package provides:
- Prelude library containing datatypes and functions for circuit design
- Import Clash.Prelude; by default clock and reset lines are implicitly routed for all the components found in Clash.Prelude. You can read more about implicit clock and reset lines in Clash.Signal#implicitclockandreset
- Alternatively, if you want to explicitly route clock and reset ports, for more straightforward multi-clock designs, you can import the Clash.Explicit.Prelude module. Note that you should not import Clash.Prelude and Clash.Explicit.Prelude at the same time as they have overlapping definitions.
-
clash-prelude Clash.Prelude inout port behaves as if connected to a pull-down resistor
-
clash-prelude Clash.Prelude inout port behaves as if connected to a pull-up resistor
-
clash-prelude Clash.Signal inout port behaves as if connected to a pull-down resistor
-
clash-prelude Clash.Signal inout port behaves as if connected to a pull-up resistor
-
clash-prelude Clash.Signal.BiSignal inout port behaves as if connected to a pull-down resistor
-
clash-prelude Clash.Signal.BiSignal inout port behaves as if connected to a pull-up resistor
-
clash-prelude Clash.Signal.Trace No documentation available.
-
clash-prelude Clash.Signal.Trace No documentation available.