Skip to content

copilot: Add FPGA example #657

Closed
Closed

Description

@ivanperez-keera

Description

We need an example that demonstrates how to work with FPGAs using Copilot. This will help users start with copilot-bluespec, and also help validate our work.

Type

  • Feature: New example.

Additional context

None.

Requester

  • Ivan Perez.

Method to check presence of bug

Expected result

The copilot package includes an example that shows how to use copilot-bluespec.

Desired result

The copilot package includes an example that shows how to use copilot-bluespec.

Proposed solution

Create README under copilot/examples/fpga, in a folder for the specific example.

Add any necessary auxiliary files.

Further notes

None.

Activity

  1. added
    CR:Type:FeatureAdmin only: Change request pertaining to new features requested
    CR:Status:InitiatedAdmin only: Change request that has been initiated
    on Aug 21, 2025
  2. ivanperez-keera commented on Aug 21, 2025

    @ivanperez-keera
    MemberAuthor

    Change Manager: Confirmed that the issue exists.

  3. added
    CR:Status:ConfirmedAdmin only: Change request that has been acknowledged by the change manager
    and removed
    CR:Status:InitiatedAdmin only: Change request that has been initiated
    on Aug 21, 2025
  4. ivanperez-keera commented on Aug 21, 2025

    @ivanperez-keera
    MemberAuthor

    Technical Lead: Confirmed that the issue should be addressed.

  5. added
    CR:Status:AcceptedAdmin only: Change request accepted by technical lead
    and removed
    CR:Status:ConfirmedAdmin only: Change request that has been acknowledged by the change manager
    on Aug 21, 2025
  6. ivanperez-keera commented on Aug 21, 2025

    @ivanperez-keera
    MemberAuthor

    Technical Lead: Issue scheduled for fixing in Copilot 4.5.1.

    Fix assigned to: @sukhmankkahlon.

    EDIT: Milestone renamed from 4.6 to 4.5.1.

  7. added
    CR:Status:ScheduledAdmin only: Change requested scheduled
    and removed
    CR:Status:AcceptedAdmin only: Change request accepted by technical lead
    on Aug 21, 2025
  8. added this to the 4.6 milestone on Aug 21, 2025
  9. 12 remaining items

  10. sukhmankkahlon commented on Sep 5, 2025

    @sukhmankkahlon
    Contributor

    Implementor: Solution implemented, review requested.

  11. added
    CR:Status:VerificationAdmin only: Change request that is currently being verified
    and removed
    CR:Status:ImplementationAdmin only: Change request that is currently being implemented
    on Sep 6, 2025
  12. ivanperez-keera commented on Sep 6, 2025

    @ivanperez-keera
    MemberAuthor

    Change Manager: Verified that:

    • Solution is implemented:
      • The code proposed compiles and passes all tests. Details:
        Build log: https://app.travis-ci.com/github/Copilot-Language/copilot/builds/276236949
      • The solution proposed produces the expected result. Details:
        The PR implements a manual, so it's been evaluated by visual inspection. The manual is well structure, the steps to install the tools and implement the example are clear, and the solution looks complete and takes the user all the way to having an example running on an FPGA.
    • Implementation is documented. Details:
      The change includes a manual, which is well documented.
    • Change history is clear.
    • Commit messages are clear.
    • Changelogs are updated.
    • Examples are updated. Details:
      The change is to the examples.
    • Author is internal or has provided signed CLA.
      The author accomplished this work while being a NASA intern.
    • Required version bumps are evaluated. Details:
      Bump not required; the change is to the examples.
  13. ivanperez-keera commented on Sep 6, 2025

    @ivanperez-keera
    MemberAuthor

    Change Manager: Implementation ready to be merged.

  14. added
    CR:Status:ClosedAdmin only: Change request that has been completed
    and removed
    CR:Status:VerificationAdmin only: Change request that is currently being verified
    on Sep 6, 2025
  15. added a commit that references this issue on Sep 6, 2025
    f4f8bf4
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Labels

CR:Status:ClosedAdmin only: Change request that has been completedCR:Type:FeatureAdmin only: Change request pertaining to new features requested

Type

No type

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions