This is the Linux app named BSC whose latest release can be downloaded as bsc-2025.07-ubuntu-24.04.tar.gz. It can be run online in the free hosting provider OnWorks for workstations.
Download and run online this app named BSC with OnWorks for free.
Follow these instructions in order to run this app:
- 1. Downloaded this application in your PC.
- 2. Enter in our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 3. Upload this application in such filemanager.
- 4. Start the OnWorks Linux online or Windows online emulator or MACOS online emulator from this website.
- 5. From the OnWorks Linux OS you have just started, goto our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 6. Download the application, install it and run it.
SCREENSHOTS:
BSC
DESCRIPTION:
BSC is the open source compiler toolchain for Bluespec SystemVerilog, a high-level, rule-based hardware design language. It translates Bluespec descriptions into synthesizable Verilog, letting developers bring typed, modular abstractions into mainstream FPGA/ASIC flows. The compiler performs scheduling of atomic rules, elaborates parameterized modules, and enforces interface contracts, producing predictable RTL that integrates with existing EDA tools. A companion simulator enables fast functional execution and debugging before handing designs to traditional verification and synthesis stages. The ecosystem includes standard libraries, FIFOs, interfaces, and utilities that encourage reuse and clean separation of datapaths and control. By raising the abstraction for hardware architecture while preserving efficient output, BSC helps teams explore complex designs—such as RISC-V cores or accelerators—more productively.
Features
- Actively maintained open source project under permissive license, with contributions and releases via GitHub
- Supports two syntactic flavors: BSV (SystemVerilog-like) and BH (Haskell-like) interchangeable at package granularity
- Enables high-level hardware description with strong static type checking to catch errors before synthesis
- Supports Guarded Atomic Actions, allowing the compiler to derive a scheduler for modular hardware components
- Provides simulation and compiler toolchain alongside the compiler for design validation
- Offers comprehensive documentation including user guide, language reference guides, and standard libraries
Programming Language
Haskell
Categories
This is an application that can also be fetched from https://sourceforge.net/projects/bsc.mirror/. It has been hosted in OnWorks in order to be run online in an easiest way from one of our free Operative Systems.