- Jun 22, 2023
-
-
Schuyler Eldridge authored
Remove all methods that were deprecated in Chisel 3.5 or Chisel 3.6. Signed-off-by:Schuyler Eldridge <schuyler.eldridge@sifive.com>
-
Jack Koenig authored
This will speed up the typical test flow by separating the execution driven tests out. Also rename the file containing VecIntegrationSpec to match the class name.
-
Jack Koenig authored
Subclasses of OpaqueType can override errorOnAsUInt to make it an elaboration time error if .asUInt is called on an instance of the particular type (including when nested inside of an Aggregate). This closes a large loophole in the OpaqueType API.
-
- Jun 21, 2023
-
-
Daniel Resnick authored
-
Guillaume Martres authored
The previous link is no longer working.
-
Schuyler Eldridge authored
Signed-off-by:Schuyler Eldridge <schuyler.eldridge@sifive.com>
-
- Jun 16, 2023
-
-
Deborah Soung authored
-
- Jun 15, 2023
-
-
George Lyon authored
-
Jared Barocsi authored
Co-authored-by:
Jiuyang Liu <liu@jiuyang.me> Co-authored-by:
Jack Koenig <koenig@sifive.com>
-
Fabian Schuiki authored
Add a wrapper API around a handful of new CIRCT compiler intrinsics that allow for FIRRTL inputs to express linear temporal logic expressions and assert, assume, and cover operations on them. The CIRCT compiler emits these as SVAs. Since there are no opaque user-defined types in FIRRTL yet, the intrinsics all use `UInt<1>` as the type for sequences and properties. This change exposes a safe Chisel API with `Sequence` and `Property` wrappers around the internal `UInt<1>` types. As FIRRTL and the CIRCT compiler evolve, we'll be able to use more strongly-typed intrinsics and later probably dedicated FIRRTL IR nodes for this. I also expect the `circt.verif.assert` intrinsics to be collapsed with the other assertion mechanisms in FIRRTL to provide one uniform IR node. That's future work though. This commit just gets the ball rolling.
-
- Jun 14, 2023
-
-
Jack Koenig authored
-
Jack Koenig authored
* Update Chisel Dev Meeting time * Update some uses of 5.0.0-RC1 to 5.0.0
-
- Jun 13, 2023
-
-
Jack Koenig authored
* Remove support for Scala 2.12 * clean up mill build. --------- Co-authored-by:
Jiuyang Liu <liu@jiuyang.me> Co-authored-by:
mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
-
- Jun 10, 2023
-
-
Daniel Resnick authored
Co-authored-by:mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
-
Jack Koenig authored
-
Jack Koenig authored
* Allow IntrinsicModule to be used in Instantiate Change a few `RawModule`s to `BaseModule`s to allow for intrinsic modules to be used with the instantiation API. * Add tests for Instantiate of non-RawModules --------- Co-authored-by:Fabian Schuiki <fabian@schuiki.ch>
-
Scala Steward authored
-
Scala Steward authored
-
Megan Wachs authored
-
Megan Wachs authored
-
- Jun 09, 2023
-
-
Jack Koenig authored
-
Jared Barocsi authored
-
- Jun 08, 2023
-
-
Jack Koenig authored
-
Jack Koenig authored
-
- Jun 07, 2023
-
-
Jack Koenig authored
This enables Chisel users to use these newer Scala versions.
-
Jack Koenig authored
-
- Jun 03, 2023
-
-
Daniel Resnick authored
-
Daniel Resnick authored
-
- Jun 02, 2023
-
-
Jack Koenig authored
-
Jared Barocsi authored
-
- Jun 01, 2023
-
-
George Lyon authored
-
George Lyon authored
-
- May 31, 2023
-
-
George Lyon authored
-
Daniel Resnick authored
-
- May 27, 2023
-
-
Jack Koenig authored
-
- May 25, 2023
-
-
Scala Steward authored
-
Scala Steward authored
-
- May 24, 2023
-
-
chick authored
Fix up code underlying `compile` used in many tests to put annotations at the head of chirrtl removed writing of WriteOutputAnnotations removed passing in of json created by WriteOutputAnnotations files to firtool Moved two tests in TraceSpec to use in instead of ignore
-
Schuyler Eldridge authored
Fix a bug in BoringUtils (and secret IO APIs) where APIs would return a Data. This could create problems if the BoringUtils APIs were used directly in operations, e.g., the following could cause a problem: val a = b & BoringUtils.bore(c) This requires some casting of DontCare as it is unfortunately not a proper "bottom" type. No test is added as the test is that Scala passes type checking. Signed-off-by:Schuyler Eldridge <schuyler.eldridge@sifive.com>
-
Gonsolo authored
-