bsc ☆
« Back to VersTracker
Description:
Bluespec Compiler (BSC)
Type: Formula  |  Latest Version: 2025.07@0  |  Tracked Since: Dec 17, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: hardware-design verilog fpga asic compiler bluespec
Install: brew install bsc
About:
Bluespec Compiler (BSC) is a high-level hardware description and construction language for digital circuits. It provides a strong type system and semantics based on term rewriting, enabling designers to describe complex hardware behavior concisely and correctly. The compiler translates these high-level descriptions into synthesizable Verilog for FPGAs and ASICs.
Key Features:
  • High-level synthesis from a functional-style language
  • Strong static type system prevents common design errors
  • Deterministic concurrency via guarded atomic actions
  • Generates high-performance, synthesizable Verilog
Use Cases:
  • Designing complex digital logic for FPGAs and ASICs
  • Creating hardware models for formal verification
  • Rapid prototyping of processor cores and accelerators
Alternatives:
  • Verilog – BSC provides higher abstraction and safety over Verilog's low-level modeling.
  • VHDL – BSC uses functional paradigms and atomic actions rather than imperative processes.
License: BSD-3-Clause
Dependencies: gmp, icarus-verilog, tcl-tk
Bottles available for: arm64_tahoe, arm64_sequoia, arm64_sonoma, sonoma, arm64_linux, x86_64_linux
Version History
Detected Version Rev Change Commit
Sep 13, 2025 9:34am 0 VERSION_BUMP 21f013ee
« Back to VersTracker  |  Browse Packages  |  About