package hardcaml_step_testbench

You can search for identifiers within the package.

in-package search v0.2.0

hardcaml_step_testbench
- LICENSE
- README
- Library hardcaml_step_testbench
  - Hardcaml_step_testbench
    
    S
    
    I
    
    All
    
    Comb
    
    Make_comb
    
    Of_bits
    
    Of_signal
    
    Of_always
    
    Names_and_widths
    
    O
    
    All
    
    Comb
    
    Make_comb
    
    Of_bits
    
    Of_signal
    
    Of_always
    
    Names_and_widths
    
    Simulator
    
    I_data
    
    O_data
    
    Monad_infix
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    List
    
    Array
    
    Before_and_after_edge
    
    Make
    
    Simulator
    
    I_data
    
    O_data
    
    Monad_infix
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    List
    
    Array
- Library hardcaml_step_testbench.digital_components
  - Digital_components
    
    Component
    
    S
    
    Input
    
    Output
    
    Next_input
    
    Combinational
    
    S
    
    Input
    
    Output
    
    Flip_flop_with_load_enable
    
    Input
    
    Output
    
    Flip_flop_with_load_enable_and_reset
    
    Input
    
    Output
    
    Data
    
    S
    
    Bool
    
    Int
    
    String
    
    Unit
    
    Pair
    
    Step_monad
    
    Let_syntax
    
    Let_syntax
    
    Open_on_rhs
    
    Monad_infix
    
    Event
    
    Component_finished
- Sources
  - hardcaml_step_testbench
    
    before_and_after_edge.ml
    
    hardcaml_step_testbench.ml
    
    hardcaml_step_testbench__.ml
    
    hardcaml_step_testbench_intf.ml
    
    import.ml
  - hardcaml_step_testbench.digital_components
    
    component.ml
    
    component_intf.ml
    
    data.ml
    
    data_intf.ml
    
    digital_components.ml
    
    digital_components__.ml
    
    import.ml
    
    step_monad.ml
    
    step_monad_intf.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `S.Simulator`Source

A simulator for the design being tested.

Sourcetype t = Hardcaml.Cyclesim.With_interface(I)(O).t

Sourceval sexp_of_t : t -> Sexplib0.Sexp.t

package hardcaml_step_testbench

Module S.SimulatorSource

Module `S.Simulator`Source