blarney-0.1.0.0

Modules

•  Blarney Hardware description in Haskell
  Submodules

  •  Blarney.Backend Backend module for the blarney hardware description library
    Submodules

    •  Blarney.Backend.NewSMT SMT generation, improved
    •  Blarney.Backend.SMT SMT generation
      Submodules

      •  Blarney.Backend.SMT.BasicDefinitions Basic SMT helper types and functions definitions
      •  Blarney.Backend.SMT.NetlistUtils Netlist utility functions for SMT pretty printing
      •  Blarney.Backend.SMT.Utils Basic utility functions for SMT pretty printing
    •  Blarney.Backend.Simulation Netlist simulation
    •  Blarney.Backend.Verilog Verilog generation
  •  Blarney.BitPat Bit-string pattern matching combinators
  •  Blarney.BitScan Bit-string pattern matching, similar to scanf
  •  Blarney.ClientServer Client and Server interfaces for control flow
  •  Blarney.Connectable Module to connect interfaces
  •  Blarney.Core Core module for the blarney hardware description library
    Submodules

    •  Blarney.Core.BV Untyped bit vectors and circuit primitives
    •  Blarney.Core.Bit Typed bit-vectors and circuit primitives
    •  Blarney.Core.Bits Convert types to bit vectors and back
    •  Blarney.Core.ClockReset Types for clocks and resets
    •  Blarney.Core.Common Commonly used HDL functions
    •  Blarney.Core.FShow For implementing display statements
    •  Blarney.Core.Flatten Flatten BV into Net
    •  Blarney.Core.IfThenElse Overloaded if-then-else and when conditionals
    •  Blarney.Core.Interface Support for separate compilation
    •  Blarney.Core.JList Join lists
    •  Blarney.Core.Lookup Provide a generic lookup operator
    •  Blarney.Core.Module Blarney modules
    •  Blarney.Core.NetHelpers Net primitive for Netlist construction
    •  Blarney.Core.Opts Blarney options and command-line parser
    •  Blarney.Core.Prim circuit primitives
    •  Blarney.Core.RAM Library of various block RAM components
    •  Blarney.Core.RTL Register-transfer-level descriptions
    •  Blarney.Core.Ternary Ternary bit-vectors
    •  Blarney.Core.Utils Utility functions
  •  Blarney.Interconnect Interconnect library
  • Misc
    Submodules

    •  Blarney.Misc.ANSIEscapeSequences Subset of ANSI escape sequences used for rich terminal output
    •  Blarney.Misc.MonadLoops Monadic loops non provided in base
  •  Blarney.Netlist Netlist module for the blarney hardware description library
    Submodules

    •  Blarney.Netlist.Passes Blarney netlist passes
      Submodules

      •  Blarney.Netlist.Passes.ConstantEliminate A blarney netlist pass to eliminate constants
      •  Blarney.Netlist.Passes.ConstantFold A blarney netlist pass to fold constant values
      •  Blarney.Netlist.Passes.ConstantPropagate A blarney netlist pass to propagate constant values
      •  Blarney.Netlist.Passes.DeadNetEliminate A blarney netlist pass to eliminate Nets that are not referenced
      •  Blarney.Netlist.Passes.DontCareDeInline A blarney netlist pass to "de-inline" don't care primitives.
      •  Blarney.Netlist.Passes.NamePropagate A blarney netlist pass to propagate names
      •  Blarney.Netlist.Passes.NetInline A blarney netlist pass to inline a Net into an other Net's inputs
      •  Blarney.Netlist.Passes.Prune A blarney netlist pass to prune a netlist
      •  Blarney.Netlist.Passes.Types Types used for netlist passes
      •  Blarney.Netlist.Passes.Utils Utility functions for netlist passes
      •  Blarney.Netlist.Passes.ZeroWidthNetIgnore A blarney netlist pass to ignore zero-width nets
  •  Blarney.Option An Option type, similar to Maybe in functionality
  •  Blarney.Prelude Hardware description in Haskell
  •  Blarney.PulseReg Like PulseWire, but delayed by a cycle
  •  Blarney.PulseWire A PulseWire hardware module
  •  Blarney.QuadPortRAM Quad-port block RAMs
  •  Blarney.Queue Library of various queue implementations
  •  Blarney.Recipe Basic imperative programming on top of RTL
  •  Blarney.SourceSink Source and Sink interfaces for control flow
  •  Blarney.Stack Library of various stack implementations
  •  Blarney.Stmt Monadic wrapper for the Recipe language
  •  Blarney.Stream Stream library
  •  Blarney.TaggedUnion
  •  Blarney.TypeFamilies Common type families
  •  Blarney.Vector A module for handling vectors