package hardcaml_circuits

  1. Overview
  2. Docs
package hardcaml_circuits
Legend:
Library
Module
Module type
Parameter
Class
Class type

Linear feedback shift registers

module Config : sig ... end
module Op : sig ... end
val create : ?config:Config.t -> ?counterpart_taps:Base.bool -> ?op:Op.t -> (module Hardcaml.Comb.S with type t = 'a) -> 'a -> 'a

Create the update logic for a lfsr. Used in conjuction with reg_fb to construct a complete lfsr.

  • Shift register sizes can be between 2 and 168 bits.
  • Galois or Fibonacci forms are supported - prefer Galois in general as it has a shorter critical path.
  • The basic gate can be xor or xnor. With xor the all 0's state is invalid while with xnor the all 1's state is invalid.
  • The lfsrs generated are complete according to xapp052 - this means they will sequence through all possible states (except the invalid one) before repeating.
  • All complete lfsr have a counterpart organisation of the taps which leads to a second (but still complete) sequence.
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct