dense-analysis / dense-analysis/ale

Add support for Bluespec systemverilog

Open
#3,525 1 comment 0 reactions 0 assignees View on GitHub
new tool
Dominant language
Vim Script
Stars
14k
Forks
1.5k
Avg merge
17h 49m
Merged PRs (30d)
1

Description

**Name:** Bluespec Systemverilog
**URL:** https://github.com/B-Lang-org/bsc

bsv is one of the languages used for hardware development,

Some sample error messages are

```
% bsc -verilog udp_generator.bsv
Error: "udp_generator.bsv", line 33, column 11: (P0005)
Unexpected BSV 3.8 keyword `deriving'; expected struct type name
```

```
Error: "udp_generator.bsv", line 42, column 17: (P0005)
Unexpected BSV 3.8 keyword `method'; expected BSV 3.8 keyword `provisos' or
`;'
```
```
Error: "udp_generator.bsv", line 84, column 17: (T0084)
The following function expects 1 arguments, but it was used without any
arguments:
init.wset

The expected type is:
function Action f(Bit#(0) x1)

But it was used with the following type:
Action
```

Contributor guide

Open the contributing guide

Research direction

Start by reviewing the Bluespec SystemVerilog compiler at https://github.com/B-Lang-org/bsc and reproducing the sample `bsc -verilog udp_generator.bsv` diagnostics. The issue names no ALE files or tests; completion should make ALE support `.bsv` files and surface the compiler's diagnostics.

Written by the indexing model from the issue text.

Assessment

Domain
tooling
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.