https://github.com/copilot-language/copilot-bluespec
A Copilot backend for generating Bluespec code suitable for FPGAs.
https://github.com/copilot-language/copilot-bluespec
Last synced: 10 months ago
JSON representation
A Copilot backend for generating Bluespec code suitable for FPGAs.
- Host: GitHub
- URL: https://github.com/copilot-language/copilot-bluespec
- Owner: Copilot-Language
- License: other
- Created: 2024-02-07T20:51:01.000Z (about 2 years ago)
- Default Branch: master
- Last Pushed: 2025-03-20T23:02:15.000Z (11 months ago)
- Last Synced: 2025-04-01T14:13:24.649Z (11 months ago)
- Language: Haskell
- Homepage:
- Size: 85 KB
- Stars: 4
- Watchers: 4
- Forks: 1
- Open Issues: 4
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG
- License: LICENSE
Awesome Lists containing this project
README
[](https://github.com/Copilot-Language/copilot-bluespec/actions?query=workflow%3Acopilot-bluespec)
# Copilot: a stream DSL
Copilot-Bluespec implements a Bluespec backend for Copilot, producing code that
is suitable for FPGAs.
Copilot is a runtime verification framework written in Haskell. It allows the
user to write programs in a simple but powerful way using a stream-based
approach.
Programs can be interpreted for testing, or translated Bluespec code to be
incorporated in a project, or as a standalone application. The Bluespec backend
ensures us that the output is constant in memory and time, making it suitable
for systems with hard realtime requirements.
## Installation
Copilot-Bluespec can be found on
[Hackage](https://hackage.haskell.org/package/copilot-bluespec). It is intended
to be installed alongside a Copilot distribution by running the following
commands:
```
$ cabal update
$ cabal install copilot
$ cabal install copilot-bluespec
```
For more detailed instructions on how to install Copilot, please refer to the
[Copilot website](https://copilot-language.github.io).
The generated Bluespec code requires `bsc` (the Bluespec compiler) in order to
be compiled. `bsc` can be downloaded
[here](https://github.com/B-Lang-org/bsc/releases).
We also provide a [Dockerfile](Dockerfile) which automates the process of
installing Copilot, Copilot-Bluespec, and `bsc`. The Dockerfile can be built and
run using the following commands:
```
$ docker build -t .
$ docker run -it
```
Where `` is a unique name for the Docker image.
## Further information
For further information, install instructions and documentation, please visit
the Copilot website:
[https://copilot-language.github.io](https://copilot-language.github.io)
There is also an implementation-focused design document
[here](https://raw.githubusercontent.com/Copilot-Language/copilot/master/copilot-bluespec/DESIGN.md).
## License
Copilot is distributed under the BSD-3-Clause license, which can be found
[here](https://raw.githubusercontent.com/Copilot-Language/copilot/master/copilot-bluespec/LICENSE).