sci-electronics/bluespec (guru)

Search

Install

Install this package:

emerge -a sci-electronics/bluespec

Package Information

Description:
This is a compiler, simulator, and associated tools for Bluespec High Level Hardware Design Language (HL-HDL), supporting the two optional syntaxes, BSV and BH. Language specifications and tutorials are available in the BSVlang repository. Bluespec is a high-level hardware description language. It has a variety of advanced features including a powerful type system that can prevent errors prior to synthesis time, and its most distinguishing feature, Guarded Atomic Actions, allow you to define hardware components in a modular manner based on their invariants, and let the compiler pick a scheduler.
Homepage:
https://github.com/B-Lang-org/bsc
License:
BSD GPL-3+ MIT

Versions

Version EAPI Keywords Slot
9999 8 ~amd64 ~x86 9999
2026.01 8 ~amd64 ~x86 2026.01
2025.01.1 8 ~amd64 ~x86 2025.01.1
2024.07 8 ~amd64 ~x86 2024.07
2023.01 8 ~amd64 ~x86 2023.01

Metadata

Description

Maintainers

Upstream

Raw Metadata XML
<pkgmetadata>
	<maintainer type="person">
		<email>vowstar@gmail.com</email>
		<name>Huang Rui</name>
	</maintainer>
	<longdescription lang="en">
		This is a compiler, simulator, and associated tools for Bluespec High
		Level Hardware Design Language (HL-HDL), supporting the two optional
		syntaxes, BSV and BH. Language specifications and tutorials are
		available in the BSVlang repository.
		Bluespec is a high-level hardware description language. It has a variety
		of advanced features including a powerful type system that can prevent
		errors prior to synthesis time, and its most distinguishing feature,
		Guarded Atomic Actions, allow you to define hardware components in a
		modular manner based on their invariants, and let the compiler pick a
		scheduler.
	</longdescription>
	<longdescription lang="zh">
		这是 Bluespec 高级硬件设计语言 (HL-HDL) 的编译器、模拟器和相关工具,支持
		两种可选语法:BSV 和 BH。 BSVlang 存储库中提供了语言规范和教程。
		Bluespec 是一种高级硬件描述语言。它具有各种高级功能,包括强大的类型系统,
		可以在综合之前防止错误,其最显着的功能是受保护的原子操作,允许您根据硬件
		组件的不变量以模块化方式定义硬件组件,并让编译器选择一个调度程序。
	</longdescription>
	<upstream>
		<remote-id type="github">B-Lang-org/bsc</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

USE Flags

Manage flags for this package: euse -i <flag> -p sci-electronics/bluespec | euse -E <flag> -p sci-electronics/bluespec | euse -D <flag> -p sci-electronics/bluespec

Flag Description 9999 2026.01 2025.01.1 2024.07 2023.01
doc Build and install manpages ⚠️
test Run mangohud tests ⚠️

Files

Manifest

Type File Size Versions
DIST bluespec-2023.01.tar.gz 26431509 bytes 2023.01
DIST bluespec-2024.07.tar.gz 26477765 bytes 2024.07
DIST bluespec-2025.01.1.tar.gz 26482892 bytes 2025.01.1
DIST bluespec-2026.01.tar.gz 26533179 bytes 2026.01
DIST yices-2.6.4.tar.gz 10186909 bytes 9999, 2025.01.1, 2024.07, 2023.01
DIST yices-src-for-bsc-2026.01.tar.gz 8996957 bytes 2026.01
Unmatched Entries
Type File Size