B-Lang-org/bsc
View on GitHub ↗ ★ 1,149 Haskell
Bluespec Compiler (BSC)
15 mentions on Hacker News by 15 people: 4 stories, 11 comments · first 2020-02-06 · latest 2023-12-27
20082026
-
Have you looked at/used Bluespec SystemVerilog? If so, any comments based on your experience? https://github.com/B-Lang-org/bsc
comment by bakul · 2023-12-27 · in Chisel: A Modern Hardware Design Language -
…thinks there are two Greg Morrisetts) https://www.semanticscholar.org/author/Neal-Glew/1710858 [2] https://github.com/B-Lang-org/bsc
comment by nerpderp82 · 2023-03-28 · in Higher-Order Virtual Machine (HVM) -
…of them. [1] https://github.com/ucb-bar/chipyard [2] https://github.com/SpinalHDL/SpinalHDL [3] https://github.com/B-Lang-org/bsc
comment by sweetjuly · 2023-03-05 · in Ao486_MiSTer: i486 core for the MiSTer FPGA gaming system -
…is the actual Verilog for the cores? At least BlueSec doesn't seem to be a proprietary dialect: https://github.com/B-Lang-org/bsc (BSD License)
comment by Pet_Ant · 2022-10-24 · in Building the SHAKTI Microprocessor -
…open sourced slightly over two years ago: https://twitter.com/bluespec/status/1225184669978841090 https://github.com/B-Lang-org/bsc Indeed seems Bluespec Inc. has pivoted to RISC-V CPU IP. No obvious mention of BSV on their webpage (…
comment by gchadwick · 2022-03-23 · in Verilog Is Weird -
And I've been involved in a project that's making heavy use of Bluespec: https://github.com/B-Lang-org/bsc/ Same problem though - you have to transpile it down to Verilog to use it in anything beyond a simulation.
comment by shash · 2021-11-27 · in MyHDL: Using Python as a hardware description and verification language -
Has anyone worked with BlueSpec https://github.com/B-Lang-org/bsc How does it compare to nMigen. Recently heard oxide computer folks talking about it and they were all gungon about it.
comment by mirchiseth · 2021-02-19 · in Designing a RISC-V CPU, Part 1: Learning hardware design as a software engineer -
…Bluespec SystemVerilog is now completely open source, very nice HDL although quite opinionated. https://github.com/B-Lang-org/bsc it's Haskell underneath ( https://xkcd.com/356/ )
comment by mhh__ · 2021-01-11 · in FPGA dev board that's cheap, simple and supported by OSS toolchain -
Google is also investing some developer time on Bluespec since it was opensourced ( https://github.com/B-Lang-org/bsc ). I wonder if these projects make part of a bigger plan at Google.
comment by thotypous · 2020-09-02 · in XLS: Accelerated HW Synthesis -
…people being very happy with BlueSpec even before, and now you don't really have many excuses. [0]: https://github.com/B-Lang-org/bsc
comment by microcolonel · 2020-06-11 · in FPGA: Why So Few Open Source Drivers for Open Hardware? -
…Bluespec company is focused on using their tools to build RISC-V cores: https://bluespec.com/ [0]: https://github.com/B-Lang-org/bsc
comment by chas · 2020-05-07 · in Clash: A modern, functional, hardware description language