chisel

chisel copied to clipboard

[Formal] Expose Btor2 target

3

This PR exposes the `btor2` target in Chisel. This is done through an `emitBtor2` method in `ChiselStage`. This currently depends on a [CIRCT PR to support `AssertProperty`](https://github.com/llvm/circt/pull/6974). ### Contributor Checklist...

dobios

Provide suggestName to Queue(and other Chisel Library Moduels)

1

**Type of issue**: Feature Request **Describe the solution you'd like** Queue API doesn't return the Instance of Queue, which makes user impossible to access the Queue instance to `suggestName`. This...

sequencer

provide an Chisel Native API for SystemVerilog bind

2

**Type of issue**: Feature Request For a `FixedIOModule`, the `ioGenerator` is its header. Think about this scenario, Different teams can only access the header for different purpose, e.g. RTL designer,...

sequencer

Prepare for Chisel plugin. ### Contributor Checklist - [ ] Did you add Scaladoc to every public function/method? - [ ] Did you add at least one test demonstrating the...

sequencer

Add Attribute annotation back to chisel in-tree firrtl

2

### Contributor Checklist - [X] Did you add Scaladoc to every public function/method? - [X] Did you add at least one test demonstrating the PR? - [X] Did you delete...

lordspacehog

**Type of issue**: Feature Request **Is your feature request related to a problem? Please describe.** I'm extending `ChiselEnum` for some features. An inner class in the `ChiselEnum` is bad for...

Anillc

In this PR, I'm going to add a new Phase of ChiselPlugin to create `SomeSerializableModuleGenerator` object for `SomeSerializableModule` which extends from a `SerializableModule[SomeSerializableModuleParameter]` which contains an main function to elaborate...

sequencer

- **minimal reproduce Nested Instantiate bug** - **expose cache and elaborated defination to inner defination** - **clean up and refactor SerializableModuleGenerator** ### Contributor Checklist - [ ] Did you add...

sequencer

Better to point to where the intrinsic was used, not where the wrapper is defined. ### Contributor Checklist - [x] Did you add Scaladoc to every public function/method? - [x]...

dtzSiFive

**Type of issue**: Bug Report **Please provide the steps to reproduce the problem:** Run the following Scala CLI, using current head of main (same bug exists in v6.3.0): ```scala //>...

jackkoenig