Module Cf_fnf

module Cf_fnf: sig .. end

Confluence to FNF Interface Functions

Types

type producer

type system

Synchronization

val width_of_producer : producer -> int

Signal width.

val new_root_system : unit -> system

val new_sub_system : system -> string -> string -> Loc.loc list -> Loc.loc -> system

val set_clock_domain : system -> string -> (string -> unit) -> unit

val add_sub_enable : system -> producer -> (string -> unit) -> unit

val add_sub_reset : system -> producer -> (string -> unit) -> unit

Combinatorial Primitives

val new_input : system -> string -> int -> producer

val new_output : system -> string -> producer -> unit

val new_const : system -> string -> producer

val new_buf : system -> producer -> producer

val new_not : system -> producer -> producer

val new_and : system -> producer -> producer -> producer

val new_or : system -> producer -> producer -> producer

val new_xor : system -> producer -> producer -> producer

val new_concat : system -> producer -> producer -> producer

val new_select : system -> producer -> int -> producer

val new_equ : system -> producer -> producer -> producer

val new_lt : system -> producer -> producer -> producer

val new_add : system -> producer -> producer -> producer

val new_sub : system -> producer -> producer -> producer

val new_mul : system -> producer -> producer -> producer

val new_mux : system ->
       producer -> producer -> producer -> producer

Stateful Primitives: First call new_state, then call specific.

val new_state : system -> int -> producer

val new_reg : system -> producer -> producer -> unit

val new_bbox : system ->
       string -> int list -> producer -> producer -> unit

Code Generator

val output_fnf : Pervasives.out_channel -> unit

Generates and FNF netlist.