B-Lang-org/bsc

Properly support "enabled_when_ready" attribute for methods

Open

#607 opened on Aug 25, 2023

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Haskell (1,108 stars) (178 forks)batch import
enhancementgood first issue

Description

As mentioned in this comment on Discussion #605, there is some support for enabled_when_ready as a method attribute, but it is not parsed for BH (only BSV) and the use is not checked in the parent module. And the feature is not tested or documented. Implementation seems straightforward, although some high-level thought may be needed, to decide if we want to reuse the existing encoding at synthesis boundaries or extended it.

Contributor guide

Tech stack
None
Domain
backendtooling
Issue type
feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
4
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-2 days
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
fresh
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
mostly clear
Prerequisites
Bluespec SystemVerilogBluespec Haskellcompiler development
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
15
Research direction
The issue requires adding support for the 'enabled when ready' method attribute in the BSC compiler, specifically for BH (Bluespec Haskell) parsing and checking usage in parent modules. Start by reviewing the existing BSV implementation referenced in the linked discussion (https://github.com/B Lang org/bsc/discussions/605). Then, extend the parser for BH syntax, add module level checks, and ensure consistency with synthesis boundary encoding. Finally, add tests and documentation. The relevant code files are likely in the parser and semantic analysis modules of the BSC source.