gistfile1.txt

/nix/store/gnmapahqvab762fi885bwhlfhxvpfs81-verilator-3.924
├── bin
│   ├── verilator
│   ├── verilator_bin
│   ├── verilator_bin_dbg
│   ├── verilator_coverage
│   ├── verilator_coverage_bin_dbg
│   └── verilator_profcfunc
└── share
    ├── man
    │   └── man1
    │       ├── verilator.1.gz
    │       ├── verilator_coverage.1.gz
    │       └── verilator_profcfunc.1.gz
    ├── pkgconfig
    │   └── verilator.pc
    └── verilator
        ├── bin
        │   └── verilator_includer
        ├── examples
        │   ├── hello_world_c
        │   │   ├── Makefile
        │   │   ├── sim_main.cpp
        │   │   └── top.v
        │   ├── hello_world_sc
        │   │   ├── Makefile
        │   │   ├── sc_main.cpp
        │   │   └── top.v
        │   ├── tracing_c
        │   │   ├── input.vc
        │   │   ├── Makefile
        │   │   ├── Makefile_obj
        │   │   ├── sim_main.cpp
        │   │   ├── sub.v
        │   │   └── top.v
        │   └── tracing_sc
        │       ├── input.vc
        │       ├── Makefile
        │       ├── Makefile_obj
        │       ├── sc_main.cpp
        │       ├── sub.v
        │       └── top.v
        └── include
            ├── verilated_config.h
            ├── verilated_config.h.in
            ├── verilated_cov.cpp
            ├── verilated_cov.h
            ├── verilated_cov_key.h
            ├── verilated.cpp
            ├── verilated_dpi.cpp
            ├── verilated_dpi.h
            ├── verilated.h
            ├── verilated_heavy.h
            ├── verilated_imp.h
            ├── verilated.mk
            ├── verilatedos.h
            ├── verilated_save.cpp
            ├── verilated_save.h
            ├── verilated_sc.h
            ├── verilated_sym_props.h
            ├── verilated_syms.h
            ├── verilated.v
            ├── verilated_vcd_c.cpp
            ├── verilated_vcd_c.h
            ├── verilated_vcd_sc.cpp
            ├── verilated_vcd_sc.h
            ├── verilated_vpi.cpp
            ├── verilated_vpi.h
            └── vltstd
                ├── svdpi.h
                └── vpi_user.h

14 directories, 56 files