Files in "bsc" (2022.01-1)

Download

Repository: amd64/stable

Package time: 2022-10-13 12:21

Size: 13472028

SHA256: 3db40afc16a27c2f550bab124960da287e500c4b65d8ce13e3223b6a87afeddd

Installed Size: 76.4 MiB

Maintainer: Camber Huang <[email protected]>

Library depends: libc.so.6, libffi.so.8, libgcc_s.so.1, libgmp.so.10, libm.so.6, libnuma.so.1, libstdc++.so.6, libstp.so.1, libyices.so.2.6

Library provides: libstp.so.1, libyices.so.2.6

Files:

• -rwxr-xr-x root(0) root(0) 0 /usr
• -rwxr-xr-x root(0) root(0) 0 /usr/bin
• -rwxr-xr-x root(0) root(0) 887 /usr/bin/bluetcl
• -rwxr-xr-x root(0) root(0) 887 /usr/bin/bsc
• -rwxr-xr-x root(0) root(0) 0 /usr/lib
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/bsc
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/bsc/Bluesim
• -rw-r--r-- root(0) root(0) 13K /usr/lib/bsc/Bluesim/bluesim_kernel_api.h
• -rw-r--r-- root(0) root(0) 581 /usr/lib/bsc/Bluesim/bluesim_primitives.h
• -rw-r--r-- root(0) root(0) 1.5K /usr/lib/bsc/Bluesim/bluesim_probes.h
• -rw-r--r-- root(0) root(0) 2.1K /usr/lib/bsc/Bluesim/bluesim_systemc.h
• -rw-r--r-- root(0) root(0) 2.1K /usr/lib/bsc/Bluesim/bluesim_types.h
• -rw-r--r-- root(0) root(0) 83 /usr/lib/bsc/Bluesim/bs_elf_export_map.txt
• -rw-r--r-- root(0) root(0) 34 /usr/lib/bsc/Bluesim/bs_mach-o_export_map.txt
• -rw-r--r-- root(0) root(0) 259 /usr/lib/bsc/Bluesim/bs_mem_defines.h
• -rw-r--r-- root(0) root(0) 1.7K /usr/lib/bsc/Bluesim/bs_mem_file.h
• -rw-r--r-- root(0) root(0) 1.2K /usr/lib/bsc/Bluesim/bs_model.h
• -rw-r--r-- root(0) root(0) 1.0K /usr/lib/bsc/Bluesim/bs_module.h
• -rw-r--r-- root(0) root(0) 31K /usr/lib/bsc/Bluesim/bs_prim_mod_bram.h
• -rw-r--r-- root(0) root(0) 12K /usr/lib/bsc/Bluesim/bs_prim_mod_clockgen.h
• -rw-r--r-- root(0) root(0) 6.0K /usr/lib/bsc/Bluesim/bs_prim_mod_clockmux.h
• -rw-r--r-- root(0) root(0) 8.0K /usr/lib/bsc/Bluesim/bs_prim_mod_counter.h
• -rw-r--r-- root(0) root(0) 14K /usr/lib/bsc/Bluesim/bs_prim_mod_fifo.h
• -rw-r--r-- root(0) root(0) 3.1K /usr/lib/bsc/Bluesim/bs_prim_mod_gatedclock.h
• -rw-r--r-- root(0) root(0) 3.2K /usr/lib/bsc/Bluesim/bs_prim_mod_probe.h
• -rw-r--r-- root(0) root(0) 29K /usr/lib/bsc/Bluesim/bs_prim_mod_reg.h
• -rw-r--r-- root(0) root(0) 13K /usr/lib/bsc/Bluesim/bs_prim_mod_regfile.h
• -rw-r--r-- root(0) root(0) 16K /usr/lib/bsc/Bluesim/bs_prim_mod_resets.h
• -rw-r--r-- root(0) root(0) 42K /usr/lib/bsc/Bluesim/bs_prim_mod_synchronizers.h
• -rw-r--r-- root(0) root(0) 3.5K /usr/lib/bsc/Bluesim/bs_prim_mod_wire.h
• -rw-r--r-- root(0) root(0) 51K /usr/lib/bsc/Bluesim/bs_prim_ops.h
• -rw-r--r-- root(0) root(0) 3.5K /usr/lib/bsc/Bluesim/bs_range_tracker.h
• -rw-r--r-- root(0) root(0) 696 /usr/lib/bsc/Bluesim/bs_reset.h
• -rw-r--r-- root(0) root(0) 915 /usr/lib/bsc/Bluesim/bs_symbol.h
• -rw-r--r-- root(0) root(0) 5.2K /usr/lib/bsc/Bluesim/bs_system_tasks.h
• -rw-r--r-- root(0) root(0) 1.7K /usr/lib/bsc/Bluesim/bs_target.h
• -rw-r--r-- root(0) root(0) 2.8K /usr/lib/bsc/Bluesim/bs_vcd.h
• -rw-r--r-- root(0) root(0) 11K /usr/lib/bsc/Bluesim/bs_wide_data.h
• -rw-r--r-- root(0) root(0) 108K /usr/lib/bsc/Bluesim/libbskernel.a
• -rw-r--r-- root(0) root(0) 190K /usr/lib/bsc/Bluesim/libbsprim.a
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/bsc/Libraries
• -rw-r--r-- root(0) root(0) 30K /usr/lib/bsc/Libraries/ActionSeq.bo
• -rw-r--r-- root(0) root(0) 77K /usr/lib/bsc/Libraries/AlignedFIFOs.bo
• -rw-r--r-- root(0) root(0) 73K /usr/lib/bsc/Libraries/Arbiter.bo
• -rw-r--r-- root(0) root(0) 39K /usr/lib/bsc/Libraries/Arbitrate.bo
• -rw-r--r-- root(0) root(0) 108K /usr/lib/bsc/Libraries/Array.bo
• -rw-r--r-- root(0) root(0) 6.5K /usr/lib/bsc/Libraries/Assert.bo
• -rw-r--r-- root(0) root(0) 32K /usr/lib/bsc/Libraries/BGetPut.bo
• -rw-r--r-- root(0) root(0) 171K /usr/lib/bsc/Libraries/BRAM.bo
• -rw-r--r-- root(0) root(0) 132K /usr/lib/bsc/Libraries/BRAMCore.bo
• -rw-r--r-- root(0) root(0) 103K /usr/lib/bsc/Libraries/BRAMFIFO.bo
• -rw-r--r-- root(0) root(0) 215K /usr/lib/bsc/Libraries/BRAM_Compat.bo
• -rw-r--r-- root(0) root(0) 20K /usr/lib/bsc/Libraries/BUtils.bo
• -rw-r--r-- root(0) root(0) 17K /usr/lib/bsc/Libraries/BitUtils.bo
• -rw-r--r-- root(0) root(0) 14K /usr/lib/bsc/Libraries/BitonicSort.bo
• -rw-r--r-- root(0) root(0) 7.1K /usr/lib/bsc/Libraries/Boolify.bo
• -rw-r--r-- root(0) root(0) 3.8K /usr/lib/bsc/Libraries/BuildVector.bo
• -rw-r--r-- root(0) root(0) 8.9K /usr/lib/bsc/Libraries/BypassReg.bo
• -rw-r--r-- root(0) root(0) 77K /usr/lib/bsc/Libraries/CBus.bo
• -rw-r--r-- root(0) root(0) 55K /usr/lib/bsc/Libraries/CGetPut.bo
• -rw-r--r-- root(0) root(0) 21K /usr/lib/bsc/Libraries/CRC.bo
• -rw-r--r-- root(0) root(0) 18K /usr/lib/bsc/Libraries/CShow.bo
• -rw-r--r-- root(0) root(0) 44K /usr/lib/bsc/Libraries/ClientServer.bo
• -rw-r--r-- root(0) root(0) 360K /usr/lib/bsc/Libraries/Clocks.bo
• -rw-r--r-- root(0) root(0) 72K /usr/lib/bsc/Libraries/Cntrs.bo
• -rw-r--r-- root(0) root(0) 74K /usr/lib/bsc/Libraries/CommitIfc.bo
• -rw-r--r-- root(0) root(0) 18K /usr/lib/bsc/Libraries/CompletionBuffer.bo
• -rw-r--r-- root(0) root(0) 22K /usr/lib/bsc/Libraries/Complex.bo
• -rw-r--r-- root(0) root(0) 15K /usr/lib/bsc/Libraries/ConfigReg.bo
• -rw-r--r-- root(0) root(0) 18K /usr/lib/bsc/Libraries/Connectable.bo
• -rw-r--r-- root(0) root(0) 13K /usr/lib/bsc/Libraries/Contexts.bo
• -rw-r--r-- root(0) root(0) 3.9K /usr/lib/bsc/Libraries/Contexts.defines
• -rw-r--r-- root(0) root(0) 21K /usr/lib/bsc/Libraries/Counter.bo
• -rw-r--r-- root(0) root(0) 24K /usr/lib/bsc/Libraries/DPSRAM.bo
• -rw-r--r-- root(0) root(0) 10K /usr/lib/bsc/Libraries/DReg.bo
• -rw-r--r-- root(0) root(0) 704 /usr/lib/bsc/Libraries/DefaultValue.bo
• -rw-r--r-- root(0) root(0) 62K /usr/lib/bsc/Libraries/Divide.bo
• -rw-r--r-- root(0) root(0) 3.0K /usr/lib/bsc/Libraries/DummyDriver.bo
• -rw-r--r-- root(0) root(0) 9.8K /usr/lib/bsc/Libraries/EdgeDetect.bo
• -rw-r--r-- root(0) root(0) 4.2K /usr/lib/bsc/Libraries/Enum.bo
• -rw-r--r-- root(0) root(0) 696 /usr/lib/bsc/Libraries/Environment.bo
• -rw-r--r-- root(0) root(0) 3.4K /usr/lib/bsc/Libraries/EqFunction.bo
• -rw-r--r-- root(0) root(0) 14K /usr/lib/bsc/Libraries/FIFO.bo
• -rw-r--r-- root(0) root(0) 33K /usr/lib/bsc/Libraries/FIFOF.bo
• -rw-r--r-- root(0) root(0) 160K /usr/lib/bsc/Libraries/FIFOF_.bo
• -rw-r--r-- root(0) root(0) 146K /usr/lib/bsc/Libraries/FIFOLevel.bo
• -rw-r--r-- root(0) root(0) 685 /usr/lib/bsc/Libraries/FShow.bo
• -rw-r--r-- root(0) root(0) 109K /usr/lib/bsc/Libraries/FixedPoint.bo
• -rw-r--r-- root(0) root(0) 3.1K /usr/lib/bsc/Libraries/FlexBitArith.bo
• -rw-r--r-- root(0) root(0) 625K /usr/lib/bsc/Libraries/FloatingPoint.bo
• -rw-r--r-- root(0) root(0) 10K /usr/lib/bsc/Libraries/FoldFIFO.bo
• -rw-r--r-- root(0) root(0) 14K /usr/lib/bsc/Libraries/FoldFIFOF.bo
• -rw-r--r-- root(0) root(0) 5.0K /usr/lib/bsc/Libraries/Fork.bo
• -rw-r--r-- root(0) root(0) 78K /usr/lib/bsc/Libraries/Gearbox.bo
• -rw-r--r-- root(0) root(0) 38K /usr/lib/bsc/Libraries/GetPut.bo
• -rw-r--r-- root(0) root(0) 18K /usr/lib/bsc/Libraries/Gray.bo
• -rw-r--r-- root(0) root(0) 16K /usr/lib/bsc/Libraries/GrayCounter.bo
• -rw-r--r-- root(0) root(0) 25K /usr/lib/bsc/Libraries/HList.bo
• -rw-r--r-- root(0) root(0) 211K /usr/lib/bsc/Libraries/IVec.bo
• -rw-r--r-- root(0) root(0) 8.4K /usr/lib/bsc/Libraries/Inout.bo
• -rw-r--r-- root(0) root(0) 209K /usr/lib/bsc/Libraries/LBus.bo
• -rw-r--r-- root(0) root(0) 13K /usr/lib/bsc/Libraries/LFSR.bo
• -rw-r--r-- root(0) root(0) 8.8K /usr/lib/bsc/Libraries/LevelFIFO.bo
• -rw-r--r-- root(0) root(0) 87K /usr/lib/bsc/Libraries/List.bo
• -rw-r--r-- root(0) root(0) 7.4K /usr/lib/bsc/Libraries/ListFIFO.bo
• -rw-r--r-- root(0) root(0) 60K /usr/lib/bsc/Libraries/ListN.bo
• -rw-r--r-- root(0) root(0) 3.1K /usr/lib/bsc/Libraries/ListReg.bo
• -rw-r--r-- root(0) root(0) 104K /usr/lib/bsc/Libraries/MIMO.bo
• -rw-r--r-- root(0) root(0) 5.2K /usr/lib/bsc/Libraries/Math.bo
• -rw-r--r-- root(0) root(0) 55K /usr/lib/bsc/Libraries/Mcp.bo
• -rw-r--r-- root(0) root(0) 37K /usr/lib/bsc/Libraries/Memory.bo
• -rw-r--r-- root(0) root(0) 10K /usr/lib/bsc/Libraries/Misc.bo
• -rw-r--r-- root(0) root(0) 704 /usr/lib/bsc/Libraries/ModuleAugmented.bo
• -rw-r--r-- root(0) root(0) 11K /usr/lib/bsc/Libraries/ModuleCollect.bo
• -rw-r--r-- root(0) root(0) 37K /usr/lib/bsc/Libraries/ModuleContext.bo
• -rw-r--r-- root(0) root(0) 8.3K /usr/lib/bsc/Libraries/ModuleContextCore.bo
• -rw-r--r-- root(0) root(0) 30K /usr/lib/bsc/Libraries/NullCrossingFIFOF.bo
• -rw-r--r-- root(0) root(0) 36K /usr/lib/bsc/Libraries/NumberTypes.bo
• -rw-r--r-- root(0) root(0) 21K /usr/lib/bsc/Libraries/OInt.bo
• -rw-r--r-- root(0) root(0) 558K /usr/lib/bsc/Libraries/OVLAssertions.bo
• -rw-r--r-- root(0) root(0) 5.5K /usr/lib/bsc/Libraries/Once.bo
• -rw-r--r-- root(0) root(0) 192K /usr/lib/bsc/Libraries/PAClib.bo
• -rw-r--r-- root(0) root(0) 11K /usr/lib/bsc/Libraries/PopCount.bo
• -rw-r--r-- root(0) root(0) 457K /usr/lib/bsc/Libraries/Prelude.bo
• -rw-r--r-- root(0) root(0) 207K /usr/lib/bsc/Libraries/PreludeBSV.bo
• -rw-r--r-- root(0) root(0) 69K /usr/lib/bsc/Libraries/Printf.bo
• -rw-r--r-- root(0) root(0) 8.4K /usr/lib/bsc/Libraries/Probe.bo
• -rw-r--r-- root(0) root(0) 8.9K /usr/lib/bsc/Libraries/ProbeWire.bo
• -rw-r--r-- root(0) root(0) 14K /usr/lib/bsc/Libraries/Pull.bo
• -rw-r--r-- root(0) root(0) 17K /usr/lib/bsc/Libraries/Push.bo
• -rw-r--r-- root(0) root(0) 12K /usr/lib/bsc/Libraries/RAM.bo
• -rw-r--r-- root(0) root(0) 14K /usr/lib/bsc/Libraries/RPush.bo
• -rw-r--r-- root(0) root(0) 685 /usr/lib/bsc/Libraries/RWire.bo
• -rw-r--r-- root(0) root(0) 35K /usr/lib/bsc/Libraries/Randomizable.bo
• -rw-r--r-- root(0) root(0) 6.0K /usr/lib/bsc/Libraries/Real.bo
• -rw-r--r-- root(0) root(0) 32K /usr/lib/bsc/Libraries/RegFile.bo
• -rw-r--r-- root(0) root(0) 19K /usr/lib/bsc/Libraries/RegTwo.bo
• -rw-r--r-- root(0) root(0) 15K /usr/lib/bsc/Libraries/Reserved.bo
• -rw-r--r-- root(0) root(0) 9.2K /usr/lib/bsc/Libraries/RevertingVirtualReg.bo
• -rw-r--r-- root(0) root(0) 18K /usr/lib/bsc/Libraries/SPSRAM.bo
• -rw-r--r-- root(0) root(0) 25K /usr/lib/bsc/Libraries/SRAM.bo
• -rw-r--r-- root(0) root(0) 11K /usr/lib/bsc/Libraries/SRAMFile.bo
• -rw-r--r-- root(0) root(0) 16K /usr/lib/bsc/Libraries/STRAM.bo
• -rw-r--r-- root(0) root(0) 130K /usr/lib/bsc/Libraries/SVA.bo
• -rw-r--r-- root(0) root(0) 83K /usr/lib/bsc/Libraries/SpecialFIFOs.bo
• -rw-r--r-- root(0) root(0) 18K /usr/lib/bsc/Libraries/SplitTRAM.bo
• -rw-r--r-- root(0) root(0) 99K /usr/lib/bsc/Libraries/SquareRoot.bo
• -rw-r--r-- root(0) root(0) 603K /usr/lib/bsc/Libraries/StmtFSM.bo
• -rw-r--r-- root(0) root(0) 34K /usr/lib/bsc/Libraries/StmtFSMUtil.bo
• -rw-r--r-- root(0) root(0) 7.7K /usr/lib/bsc/Libraries/SyncSRAM.bo
• -rw-r--r-- root(0) root(0) 20K /usr/lib/bsc/Libraries/TRAM.bo
• -rw-r--r-- root(0) root(0) 3.1K /usr/lib/bsc/Libraries/Tabulate.bo
• -rw-r--r-- root(0) root(0) 3.1K /usr/lib/bsc/Libraries/TieOff.bo
• -rw-r--r-- root(0) root(0) 14K /usr/lib/bsc/Libraries/ToString.bo
• -rw-r--r-- root(0) root(0) 11K /usr/lib/bsc/Libraries/TriState.bo
• -rw-r--r-- root(0) root(0) 15K /usr/lib/bsc/Libraries/TurboFIFO.bo
• -rw-r--r-- root(0) root(0) 16K /usr/lib/bsc/Libraries/UIntRange.bo
• -rw-r--r-- root(0) root(0) 16K /usr/lib/bsc/Libraries/UniqueWrappers.bo
• -rw-r--r-- root(0) root(0) 11K /usr/lib/bsc/Libraries/UnitAppendList.bo
• -rw-r--r-- root(0) root(0) 113K /usr/lib/bsc/Libraries/Vector.bo
• -rw-r--r-- root(0) root(0) 14K /usr/lib/bsc/Libraries/Wallace.bo
• -rw-r--r-- root(0) root(0) 31K /usr/lib/bsc/Libraries/ZBus.bo
• -rw-r--r-- root(0) root(0) 25K /usr/lib/bsc/Libraries/ZBusUtil.bo
• -rw-r--r-- root(0) root(0) 229 /usr/lib/bsc/Libraries/rand32.ba
• -rw-r--r-- root(0) root(0) 230 /usr/lib/bsc/Libraries/srand.ba
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/bsc/SAT
• -rwxr-xr-x root(0) root(0) 3.2M /usr/lib/bsc/SAT/libstp.so.1
• -rwxr-xr-x root(0) root(0) 1.8M /usr/lib/bsc/SAT/libyices.so.2.6
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/bsc/VPI
• -rw-r--r-- root(0) root(0) 598 /usr/lib/bsc/VPI/bdpi.h
• -rw-r--r-- root(0) root(0) 14K /usr/lib/bsc/VPI/libbdpi.so
• -rw-r--r-- root(0) root(0) 39K /usr/lib/bsc/VPI/vpi_user.h
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/bsc/Verilator
• -rwxr-xr-x root(0) root(0) 2.3K /usr/lib/bsc/Verilator/sim_main.cpp
• -rwxr-xr-x root(0) root(0) 303 /usr/lib/bsc/Verilator/verilator_config.vlt
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/bsc/Verilog
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/bsc/Verilog.Quartus
• -rw-r--r-- root(0) root(0) 4.7K /usr/lib/bsc/Verilog.Quartus/BRAM1.v
• -rw-r--r-- root(0) root(0) 4.8K /usr/lib/bsc/Verilog.Quartus/BRAM1BE.v
• -rw-r--r-- root(0) root(0) 5.0K /usr/lib/bsc/Verilog.Quartus/BRAM1BELoad.v
• -rw-r--r-- root(0) root(0) 4.8K /usr/lib/bsc/Verilog.Quartus/BRAM1Load.v
• -rw-r--r-- root(0) root(0) 5.2K /usr/lib/bsc/Verilog.Quartus/BRAM2.v
• -rw-r--r-- root(0) root(0) 5.4K /usr/lib/bsc/Verilog.Quartus/BRAM2BE.v
• -rw-r--r-- root(0) root(0) 5.6K /usr/lib/bsc/Verilog.Quartus/BRAM2BELoad.v
• -rw-r--r-- root(0) root(0) 5.4K /usr/lib/bsc/Verilog.Quartus/BRAM2Load.v
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/bsc/Verilog.Vivado
• -rw-r--r-- root(0) root(0) 1.6K /usr/lib/bsc/Verilog.Vivado/BRAM1.v
• -rw-r--r-- root(0) root(0) 2.2K /usr/lib/bsc/Verilog.Vivado/BRAM1BE.v
• -rw-r--r-- root(0) root(0) 2.4K /usr/lib/bsc/Verilog.Vivado/BRAM1BELoad.v
• -rw-r--r-- root(0) root(0) 1.8K /usr/lib/bsc/Verilog.Vivado/BRAM1Load.v
• -rw-r--r-- root(0) root(0) 2.6K /usr/lib/bsc/Verilog.Vivado/BRAM2.v
• -rw-r--r-- root(0) root(0) 3.6K /usr/lib/bsc/Verilog.Vivado/BRAM2BE.v
• -rw-r--r-- root(0) root(0) 3.8K /usr/lib/bsc/Verilog.Vivado/BRAM2BELoad.v
• -rw-r--r-- root(0) root(0) 2.8K /usr/lib/bsc/Verilog.Vivado/BRAM2Load.v
• -rw-r--r-- root(0) root(0) 3.2K /usr/lib/bsc/Verilog.Vivado/MakeClock.v
• -rw-r--r-- root(0) root(0) 3.1K /usr/lib/bsc/Verilog.Vivado/RegFile.v
• -rw-r--r-- root(0) root(0) 8.5K /usr/lib/bsc/Verilog.Vivado/SizedFIFO.v
• -rw-r--r-- root(0) root(0) 1.6K /usr/lib/bsc/Verilog/BRAM1.v
• -rw-r--r-- root(0) root(0) 2.1K /usr/lib/bsc/Verilog/BRAM1BE.v
• -rw-r--r-- root(0) root(0) 2.3K /usr/lib/bsc/Verilog/BRAM1BELoad.v
• -rw-r--r-- root(0) root(0) 1.7K /usr/lib/bsc/Verilog/BRAM1Load.v
• -rw-r--r-- root(0) root(0) 2.6K /usr/lib/bsc/Verilog/BRAM2.v
• -rw-r--r-- root(0) root(0) 3.6K /usr/lib/bsc/Verilog/BRAM2BE.v
• -rw-r--r-- root(0) root(0) 3.8K /usr/lib/bsc/Verilog/BRAM2BELoad.v
• -rw-r--r-- root(0) root(0) 2.7K /usr/lib/bsc/Verilog/BRAM2Load.v
• -rw-r--r-- root(0) root(0) 444 /usr/lib/bsc/Verilog/Bluespec.xcf
• -rw-r--r-- root(0) root(0) 186 /usr/lib/bsc/Verilog/BypassCrossingWire.v
• -rw-r--r-- root(0) root(0) 178 /usr/lib/bsc/Verilog/BypassWire.v
• -rw-r--r-- root(0) root(0) 34 /usr/lib/bsc/Verilog/BypassWire0.v
• -rw-r--r-- root(0) root(0) 2.2K /usr/lib/bsc/Verilog/CRegA5.v
• -rw-r--r-- root(0) root(0) 2.2K /usr/lib/bsc/Verilog/CRegN5.v
• -rw-r--r-- root(0) root(0) 1.9K /usr/lib/bsc/Verilog/CRegUN5.v
• -rw-r--r-- root(0) root(0) 3.3K /usr/lib/bsc/Verilog/ClockDiv.v
• -rw-r--r-- root(0) root(0) 1.9K /usr/lib/bsc/Verilog/ClockGen.v
• -rw-r--r-- root(0) root(0) 436 /usr/lib/bsc/Verilog/ClockInverter.v
• -rw-r--r-- root(0) root(0) 1.3K /usr/lib/bsc/Verilog/ClockMux.v
• -rw-r--r-- root(0) root(0) 3.3K /usr/lib/bsc/Verilog/ClockSelect.v
• -rw-r--r-- root(0) root(0) 1.1K /usr/lib/bsc/Verilog/ConfigRegA.v
• -rw-r--r-- root(0) root(0) 1020 /usr/lib/bsc/Verilog/ConfigRegN.v
• -rw-r--r-- root(0) root(0) 648 /usr/lib/bsc/Verilog/ConfigRegUN.v
• -rw-r--r-- root(0) root(0) 1.1K /usr/lib/bsc/Verilog/ConstrainedRandom.v
• -rw-r--r-- root(0) root(0) 297 /usr/lib/bsc/Verilog/ConvertFromZ.v
• -rw-r--r-- root(0) root(0) 331 /usr/lib/bsc/Verilog/ConvertToZ.v
• -rw-r--r-- root(0) root(0) 1.7K /usr/lib/bsc/Verilog/Counter.v
• -rw-r--r-- root(0) root(0) 197 /usr/lib/bsc/Verilog/CrossingBypassWire.v
• -rw-r--r-- root(0) root(0) 1.1K /usr/lib/bsc/Verilog/CrossingRegA.v
• -rw-r--r-- root(0) root(0) 1022 /usr/lib/bsc/Verilog/CrossingRegN.v
• -rw-r--r-- root(0) root(0) 650 /usr/lib/bsc/Verilog/CrossingRegUN.v
• -rw-r--r-- root(0) root(0) 1.7K /usr/lib/bsc/Verilog/DualPortRam.v
• -rw-r--r-- root(0) root(0) 78 /usr/lib/bsc/Verilog/Empty.v
• -rw-r--r-- root(0) root(0) 3.3K /usr/lib/bsc/Verilog/FIFO1.v
• -rw-r--r-- root(0) root(0) 2.6K /usr/lib/bsc/Verilog/FIFO10.v
• -rw-r--r-- root(0) root(0) 4.3K /usr/lib/bsc/Verilog/FIFO2.v
• -rw-r--r-- root(0) root(0) 2.8K /usr/lib/bsc/Verilog/FIFO20.v
• -rw-r--r-- root(0) root(0) 3.2K /usr/lib/bsc/Verilog/FIFOL1.v
• -rw-r--r-- root(0) root(0) 2.2K /usr/lib/bsc/Verilog/FIFOL10.v
• -rw-r--r-- root(0) root(0) 4.3K /usr/lib/bsc/Verilog/FIFOL2.v
• -rw-r--r-- root(0) root(0) 2.7K /usr/lib/bsc/Verilog/FIFOL20.v
• -rw-r--r-- root(0) root(0) 238 /usr/lib/bsc/Verilog/Fork.v
• -rw-r--r-- root(0) root(0) 2.0K /usr/lib/bsc/Verilog/GatedClock.v
• -rw-r--r-- root(0) root(0) 3.7K /usr/lib/bsc/Verilog/GatedClockDiv.v
• -rw-r--r-- root(0) root(0) 1.1K /usr/lib/bsc/Verilog/GatedClockInverter.v
• -rw-r--r-- root(0) root(0) 1.2K /usr/lib/bsc/Verilog/InitialReset.v
• -rw-r--r-- root(0) root(0) 208 /usr/lib/bsc/Verilog/InoutConnect.v
• -rw-r--r-- root(0) root(0) 1.3K /usr/lib/bsc/Verilog/LatchCrossingReg.v
• -rw-r--r-- root(0) root(0) 3.1K /usr/lib/bsc/Verilog/MakeClock.v
• -rw-r--r-- root(0) root(0) 1.6K /usr/lib/bsc/Verilog/MakeReset.v
• -rw-r--r-- root(0) root(0) 1.4K /usr/lib/bsc/Verilog/MakeReset0.v
• -rw-r--r-- root(0) root(0) 1.6K /usr/lib/bsc/Verilog/MakeResetA.v
• -rw-r--r-- root(0) root(0) 1.4K /usr/lib/bsc/Verilog/McpRegUN.v
• -rw-r--r-- root(0) root(0) 9.8K /usr/lib/bsc/Verilog/ProbeCapture.v
• -rw-r--r-- root(0) root(0) 1.1K /usr/lib/bsc/Verilog/ProbeHook.v
• -rw-r--r-- root(0) root(0) 2.8K /usr/lib/bsc/Verilog/ProbeMux.v
• -rw-r--r-- root(0) root(0) 5.4K /usr/lib/bsc/Verilog/ProbeTrigger.v
• -rw-r--r-- root(0) root(0) 4.7K /usr/lib/bsc/Verilog/ProbeValue.v
• -rw-r--r-- root(0) root(0) 218 /usr/lib/bsc/Verilog/ProbeWire.v
• -rw-r--r-- root(0) root(0) 333 /usr/lib/bsc/Verilog/RWire.v
• -rw-r--r-- root(0) root(0) 203 /usr/lib/bsc/Verilog/RWire0.v
• -rw-r--r-- root(0) root(0) 1.0K /usr/lib/bsc/Verilog/RegA.v
• -rw-r--r-- root(0) root(0) 1.1K /usr/lib/bsc/Verilog/RegAligned.v
• -rw-r--r-- root(0) root(0) 3.0K /usr/lib/bsc/Verilog/RegFile.v
• -rw-r--r-- root(0) root(0) 2.9K /usr/lib/bsc/Verilog/RegFileLoad.v
• -rw-r--r-- root(0) root(0) 1014 /usr/lib/bsc/Verilog/RegN.v
• -rw-r--r-- root(0) root(0) 1.2K /usr/lib/bsc/Verilog/RegTwoA.v
• -rw-r--r-- root(0) root(0) 1.1K /usr/lib/bsc/Verilog/RegTwoN.v
• -rw-r--r-- root(0) root(0) 745 /usr/lib/bsc/Verilog/RegTwoUN.v
• -rw-r--r-- root(0) root(0) 642 /usr/lib/bsc/Verilog/RegUN.v
• -rw-r--r-- root(0) root(0) 731 /usr/lib/bsc/Verilog/ResetEither.v
• -rw-r--r-- root(0) root(0) 315 /usr/lib/bsc/Verilog/ResetInverter.v
• -rw-r--r-- root(0) root(0) 992 /usr/lib/bsc/Verilog/ResetMux.v
• -rw-r--r-- root(0) root(0) 358 /usr/lib/bsc/Verilog/ResetToBool.v
• -rw-r--r-- root(0) root(0) 352 /usr/lib/bsc/Verilog/ResolveZ.v
• -rw-r--r-- root(0) root(0) 312 /usr/lib/bsc/Verilog/RevertReg.v
• -rw-r--r-- root(0) root(0) 709 /usr/lib/bsc/Verilog/SampleReg.v
• -rw-r--r-- root(0) root(0) 775 /usr/lib/bsc/Verilog/ScanIn.v
• -rw-r--r-- root(0) root(0) 8.5K /usr/lib/bsc/Verilog/SizedFIFO.v
• -rw-r--r-- root(0) root(0) 3.3K /usr/lib/bsc/Verilog/SizedFIFO0.v
• -rw-r--r-- root(0) root(0) 8.5K /usr/lib/bsc/Verilog/SizedFIFOL.v
• -rw-r--r-- root(0) root(0) 3.3K /usr/lib/bsc/Verilog/SizedFIFOL0.v
• -rw-r--r-- root(0) root(0) 2.3K /usr/lib/bsc/Verilog/SyncBit.v
• -rw-r--r-- root(0) root(0) 2.0K /usr/lib/bsc/Verilog/SyncBit05.v
• -rw-r--r-- root(0) root(0) 2.1K /usr/lib/bsc/Verilog/SyncBit1.v
• -rw-r--r-- root(0) root(0) 2.6K /usr/lib/bsc/Verilog/SyncBit15.v
• -rw-r--r-- root(0) root(0) 12K /usr/lib/bsc/Verilog/SyncFIFO.v
• -rw-r--r-- root(0) root(0) 10K /usr/lib/bsc/Verilog/SyncFIFO0.v
• -rw-r--r-- root(0) root(0) 4.3K /usr/lib/bsc/Verilog/SyncFIFO1.v
• -rw-r--r-- root(0) root(0) 3.9K /usr/lib/bsc/Verilog/SyncFIFO10.v
• -rw-r--r-- root(0) root(0) 17K /usr/lib/bsc/Verilog/SyncFIFOLevel.v
• -rw-r--r-- root(0) root(0) 15K /usr/lib/bsc/Verilog/SyncFIFOLevel0.v
• -rw-r--r-- root(0) root(0) 2.9K /usr/lib/bsc/Verilog/SyncHandshake.v
• -rw-r--r-- root(0) root(0) 2.5K /usr/lib/bsc/Verilog/SyncPulse.v
• -rw-r--r-- root(0) root(0) 3.7K /usr/lib/bsc/Verilog/SyncRegister.v
• -rw-r--r-- root(0) root(0) 1.7K /usr/lib/bsc/Verilog/SyncReset.v
• -rw-r--r-- root(0) root(0) 382 /usr/lib/bsc/Verilog/SyncReset0.v
• -rw-r--r-- root(0) root(0) 1.6K /usr/lib/bsc/Verilog/SyncResetA.v
• -rw-r--r-- root(0) root(0) 265 /usr/lib/bsc/Verilog/SyncWire.v
• -rw-r--r-- root(0) root(0) 431 /usr/lib/bsc/Verilog/TriState.v
• -rw-r--r-- root(0) root(0) 1.0K /usr/lib/bsc/Verilog/UngatedClockMux.v
• -rw-r--r-- root(0) root(0) 3.0K /usr/lib/bsc/Verilog/UngatedClockSelect.v
• -rw-r--r-- root(0) root(0) 2.4K /usr/lib/bsc/Verilog/main.v
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/bsc/core
• -rwxr-xr-x root(0) root(0) 24M /usr/lib/bsc/core/bluetcl
• -rwxr-xr-x root(0) root(0) 36M /usr/lib/bsc/core/bsc
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/bsc/exec
• -rwxr-xr-x root(0) root(0) 7.7K /usr/lib/bsc/exec/bsc_build_vsim_ModelSim
• -rwxr-xr-x root(0) root(0) 7.7K /usr/lib/bsc/exec/bsc_build_vsim_Modelsim
• -rwxr-xr-x root(0) root(0) 6.1K /usr/lib/bsc/exec/bsc_build_vsim_NCVerilog
• -rwxr-xr-x root(0) root(0) 7.7K /usr/lib/bsc/exec/bsc_build_vsim_Questa
• -rwxr-xr-x root(0) root(0) 5.8K /usr/lib/bsc/exec/bsc_build_vsim_VCS
• -rwxr-xr-x root(0) root(0) 5.8K /usr/lib/bsc/exec/bsc_build_vsim_VCSI
• -rwxr-xr-x root(0) root(0) 5.8K /usr/lib/bsc/exec/bsc_build_vsim_VCSi
• -rwxr-xr-x root(0) root(0) 5.4K /usr/lib/bsc/exec/bsc_build_vsim_cvc
• -rwxr-xr-x root(0) root(0) 5.4K /usr/lib/bsc/exec/bsc_build_vsim_cvc64
• -rwxr-xr-x root(0) root(0) 5.5K /usr/lib/bsc/exec/bsc_build_vsim_cver
• -rwxr-xr-x root(0) root(0) 5.9K /usr/lib/bsc/exec/bsc_build_vsim_icarus
• -rwxr-xr-x root(0) root(0) 6.2K /usr/lib/bsc/exec/bsc_build_vsim_isim
• -rwxr-xr-x root(0) root(0) 5.9K /usr/lib/bsc/exec/bsc_build_vsim_iverilog
• -rwxr-xr-x root(0) root(0) 7.7K /usr/lib/bsc/exec/bsc_build_vsim_modelsim
• -rwxr-xr-x root(0) root(0) 6.1K /usr/lib/bsc/exec/bsc_build_vsim_nc
• -rwxr-xr-x root(0) root(0) 6.1K /usr/lib/bsc/exec/bsc_build_vsim_ncsim
• -rwxr-xr-x root(0) root(0) 6.1K /usr/lib/bsc/exec/bsc_build_vsim_ncv
• -rwxr-xr-x root(0) root(0) 6.1K /usr/lib/bsc/exec/bsc_build_vsim_ncverilog
• -rwxr-xr-x root(0) root(0) 6.1K /usr/lib/bsc/exec/bsc_build_vsim_ncvlog
• -rwxr-xr-x root(0) root(0) 7.7K /usr/lib/bsc/exec/bsc_build_vsim_questa
• -rwxr-xr-x root(0) root(0) 5.8K /usr/lib/bsc/exec/bsc_build_vsim_vcs
• -rwxr-xr-x root(0) root(0) 5.8K /usr/lib/bsc/exec/bsc_build_vsim_vcsi
• -rwxr-xr-x root(0) root(0) 7.4K /usr/lib/bsc/exec/bsc_build_vsim_verilator
• -rwxr-xr-x root(0) root(0) 5.5K /usr/lib/bsc/exec/bsc_build_vsim_veriwell
• -rwxr-xr-x root(0) root(0) 6.4K /usr/lib/bsc/exec/bsc_build_vsim_xsim
• -rwxr-xr-x root(0) root(0) 4.7K /usr/lib/bsc/exec/platform.sh
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/bsc/tcllib
• -rwxr-xr-x root(0) root(0) 0 /usr/lib/bsc/tcllib/bluespec
• -rw-r--r-- root(0) root(0) 265 /usr/lib/bsc/tcllib/bluespec/BluesimP.tcl
• -rwxr-xr-x root(0) root(0) 7.4K /usr/lib/bsc/tcllib/bluespec/bluesim.tcl
• -rw-r--r-- root(0) root(0) 3.9K /usr/lib/bsc/tcllib/bluespec/bluespec.tcl
• -rwxr-xr-x root(0) root(0) 2.4K /usr/lib/bsc/tcllib/bluespec/makedepend.tcl
• -rw-r--r-- root(0) root(0) 112 /usr/lib/bsc/tcllib/bluespec/pkgIndex.tcl
• -rw-r--r-- root(0) root(0) 2.8K /usr/lib/bsc/tcllib/bluespec/tclIndex
• -rw-r--r-- root(0) root(0) 8.2K /usr/lib/bsc/tcllib/bluespec/utils.tcl
• -rwxr-xr-x root(0) root(0) 0 /usr/share
• -rwxr-xr-x root(0) root(0) 0 /usr/share/doc
• -rwxr-xr-x root(0) root(0) 0 /usr/share/doc/bsc
• -rw-r--r-- root(0) root(0) 5.6K /usr/share/doc/bsc/COPYING
• -rw-r--r-- root(0) root(0) 47 /usr/share/doc/bsc/LICENSE.txt
• -rwxr-xr-x root(0) root(0) 0 /usr/share/doc/bsc/LICENSES
• -rw-r--r-- root(0) root(0) 1.6K /usr/share/doc/bsc/LICENSES/LICENSE.ghc
• -rw-r--r-- root(0) root(0) 1.8K /usr/share/doc/bsc/LICENSES/LICENSE.hbc
• -rw-r--r-- root(0) root(0) 1.2K /usr/share/doc/bsc/LICENSES/LICENSE.parsec
• -rw-r--r-- root(0) root(0) 6.1K /usr/share/doc/bsc/LICENSES/LICENSE.parsec_html
• -rw-r--r-- root(0) root(0) 1.3K /usr/share/doc/bsc/LICENSES/LICENSE.stp
• -rw-r--r-- root(0) root(0) 9.1K /usr/share/doc/bsc/LICENSES/LICENSE.stp_components
• -rw-r--r-- root(0) root(0) 34K /usr/share/doc/bsc/LICENSES/LICENSE.yices
• -rw-r--r-- root(0) root(0) 1.5K /usr/share/doc/bsc/LICENSES/LICENSE.yices-painless
• -rw-r--r-- root(0) root(0) 1.8M /usr/share/doc/bsc/bsc_libraries_ref_guide.pdf
• -rw-r--r-- root(0) root(0) 494K /usr/share/doc/bsc/bsc_user_guide.pdf
• -rwxr-xr-x root(0) root(0) 0