- 综合排序
- 最热优先
- 最新优先
- 来自专栏OpenFPGA
开源的Bluespec SystemVerilog (BSV)语言表现如何？
Bluespec SystemVerilog (BSV) 是由Arvind 开发的 Bluespec 语言，这是一种高级功能 硬件 描述编程语言，本质上是Haskell（Haskell ( / ˈh Bluespec的主要设计者和实现者是Lennart Augustsson。Bluespec 被部分评估（转换 Haskell 部分）并编译为术语重写系统(TRS)。 BSV 于 2003 年被 Bluespec 公司开发，期间是商业收费工具，到 2020 年它的编译器才开源，这才给了我们接触它的机会。 今天的核心是使用BSV设计一款游戏，看下在实际设计中BSV表现如何~ 使用BSV设计《太空入侵者》 绪论 2020年1月，Bluespec开源了bsc（Bluespec SystemVerilog Compiler 因此我安装了 bsc，这是一个编译器，可以对用BSV (Bluespec SystemVerilog)编写的设计进行高级综合。
1.4K50编辑于 2023-08-30 - 来自专栏C++ 动态新闻推送
C++ 中文周刊 第114期
114期 内容 MaskRay： Relocation Overflow and Code Models 这个他写了博客 Relocation overflow and code models 王璞：Bluespec
71330编辑于 2023-05-20 - 来自专栏开始入门
灰度与蓝绿：风险可控的发布——流量切分、指标回滚与版本管理策略
环境中，蓝绿发布可以通过Service的标签选择器巧妙实现：# 蓝色环境（当前生产版本）apiVersion: apps/v1kind: Deploymentmetadata: name: app-bluespec
32110编辑于 2026-01-21 - 来自专栏网络交换FPGA
目前学术界最先进的数据包调度器介绍！
例如，对于FPGA设备，可以使用诸如System Verilog [49]，Bluespec [8]或OpenCL [46]之类的语言来实现编程功能。 InINFOCOMM. [8] Bluespec. 2019. BSV High-Level HDL.(2019). https://bluespec.com/54621-2/ [9] Pat Bosshart, Glen Gibb, Hun-Seok Kim,George
4.9K20发布于 2020-06-07 - 来自专栏程序员IT圈
如何掌握程序语言
比如 Haskell 的创始人之一 Lennart Augustsson 后来设计了 BlueSpec，一种高级的硬件描述语言，可以 100% 的合成 (synthesis) 为硬件电路。
1.4K40发布于 2018-03-05 - 来自专栏企鹅号快讯
如何掌握程序语言
比如 Haskell 的创始人之一 Lennart Augustsson 后来设计了 BlueSpec，一种高级的硬件描述语言，可以 100% 的合成 (synthesis) 为硬件电路。
1.5K90发布于 2018-01-22 RISC-V技术简介及产业化现状调研
SHD按领域介绍了全球的一些玩家： (1)IP 公司 Synopsys新思科技（美国）、Ventana Micro Systems（美国）、Imagination Technologies（英国）、Bluespec
1.1K10编辑于 2025-11-28《SpringBoot启动奇航：从“Hello World”到运维巨舰的奇幻漂流》
蓝绿部署实现蓝绿部署就像准备两个相同的魔法城堡轮流使用：# Kubernetes蓝绿部署配置apiVersion: apps/v1kind: Deploymentmetadata: name: magic-system-bluespec
20710编辑于 2025-10-14- 来自专栏网络交换FPGA
使用 CCIX进行高速缓存一致性主机到FPGA接口的评估
在 FPGA 上，已经开发了一个 Bluespec 模块来处理来自NDP-update 模块的锁定请求。该模块在提供的虚拟地址上创建一个哈希表组织的锁表。
2K40编辑于 2022-08-30 - 来自专栏猿人谷
怎样写解释器
所以如果你听说有些芯片公司开始用类似 Haskell 的语言（比如 Bluespec System Verilog）来设计硬件，也就不奇怪了。
2K70发布于 2018-01-17
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号