package hardcaml_verilator

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Release v0.16.0

package hardcaml_verilator

hardcaml_verilator
- CHANGES
- LICENSE
- README
- Library hardcaml_verilator
  - Hardcaml_verilator
    
    Optimization_level
    
    Threads
    
    Output_split
    
    Verilator_version
    
    Config
    
    Cache
    
    Simulation_backend
    
    With_interface
- Sources
  - hardcaml_verilator
    
    config.ml
    
    ctypes_foreign_flat.ml
    
    hardcaml_verilator.ml
    
    hardcaml_verilator__.ml
    
    optimization_level.ml
    
    output_split.ml
    
    setup.ml
    
    threads.ml
    
    verilator_version.ml

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

Release v0.17.0

Add support for Verilator version 5. Support for version 4 is still maintained.
Support the new cyclesim APIs for looking up internal simulation nodes.

Release v0.16.0

Provide read access to internal signals in verilator simulations.
Make the caching model of compiled verilator models more flexible. In particular, allow them to be pre-generated by external build rules. Use with care!