package hardcaml_xilinx_reports

  1. Overview
  2. Docs
package hardcaml_xilinx_reports
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Hardcaml_xilinx_reports.ReportSource

Reading of report files generated by the synthesis project.

Sourcemodule Subgroup : sig ... end
Sourcemodule Group : sig ... end
Sourcemodule Clock : sig ... end
Sourcetype t = {
  1. groups : Group.t Base.List.t;
  2. clocks : Clock.t Base.List.t;
}

Utilization and timing report data.

Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
Sourceval read : file_name:Base.String.t -> t

Read back a report file generated by the vivado project tcl script and convert to a tree of groups and subgroups. Includes the total module setup and hold slack.

Sourceval print_utilization_table : file:Stdio.Out_channel.t -> top_level_name:Base.String.t -> circuits:Hardcaml.Circuit.t Base.List.t -> (Base.String.t * t Base.Option.t) Base.List.t -> Base.Unit.t

Prints the utilization table hierarchically.

Sourceval print_timing_table : file:Stdio.Out_channel.t -> top_level_name:Base.String.t -> circuits:Hardcaml.Circuit.t Base.List.t -> (Base.String.t * t Base.Option.t) Base.List.t -> Base.Unit.t

Prints the timing table hierarchically.