package hardcaml_verify

You can search for identifiers within the package.

in-package search v0.2.0

Hardcaml Verification Tools

Install

sha256=a469d63c76bd86fbd04aa38d391dc736d4bc291ad5ffe0090b31cc4ae3ba6622

module I : Hardcaml.Interface.S

module O : Hardcaml.Interface.S

type model := t

Sourcetype t

type ltl := Hardcaml.Property.LTL.path

type ctl := Hardcaml.Property.CTL.state

val create : 
  name:Base.string ->
  Hardcaml.Signal.t Hardcaml.Interface.Create_fn(I)(O).t ->
  t

Sourceval ltl : t -> (ltl Base.array I.t, ltl Base.array O.t) Circuit_properties.t

Sourceval ctl : t -> (ctl Base.array I.t, ctl Base.array O.t) Circuit_properties.t

Sourceval create_specification : t -> property Base.list -> model

On This Page