sfcX/src/test/scala/firrtl, branch 1.6.x Scala FIRRTL Compiler for chiselX 0-bit literals (#2544) 2022-12-15T22:09:14+00:00 Kevin Laeufer 2022-12-15T22:09:14+00:00 135739f0c7ef3f6404ba7115f77c7d7b913f6748 * allow for zero-width integer literals * CheckWidths: ensure that width is non-negative 
* allow for zero-width integer literals
* CheckWidths: ensure that width is non-negative
 Fix anno deserialization when class field is not first (#2501) 2022-03-25T18:53:43+00:00 Fabian Schuiki 2022-03-25T18:53:43+00:00 a2d48a5896335a567ddb21ed87fe38cd65d4764d Update `findTypeHints` to allow for the "class" field in JSON objects to appear anywhere in the object. This used to rely on the field being the very first in the object, which is easily violated when reading JSON data generated externally, since an object's order of fields is unspecified and can be arbitrarily scrambled. Fixes #2497. 
Update `findTypeHints` to allow for the "class" field in JSON objects to
appear anywhere in the object. This used to rely on the field being the
very first in the object, which is easily violated when reading JSON
data generated externally, since an object's order of fields is
unspecified and can be arbitrarily scrambled.

Fixes #2497.
 [smt] correct comparison for out-of-bounds memory access check (#2463) 2022-01-17T23:29:14+00:00 Kevin Laeufer 2022-01-17T23:29:14+00:00 5569c72c1b6246efd203e00f7af6041567575eec This fixes an off by one error, where 3 was erroneously accepted as in-bounds for a memory of depth=3 
This fixes an off by one error, where 3 was erroneously
accepted as in-bounds for a memory of depth=3
 smt: deal correctly with negative SInt literals (#2447) 2021-12-21T17:07:30+00:00 Kevin Laeufer 2021-12-21T17:07:30+00:00 2d197c841c5400c6deaa1592525be6a1d81dc1e2 






Deprecate all mutable methods on RenameMap (#2444)
2021-12-17T18:07:25+00:00

Jack Koenig

2021-12-17T18:07:25+00:00

37c8528cfed4395924820b54498ef761ded17393

* Add renamemap.MutableRenameMap which includes these methods without
  deprecation
* Deprecate Stringly typed RenameMap APIs which were accidentally
  undeprecated a while ago

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>




* Add renamemap.MutableRenameMap which includes these methods without
  deprecation
* Deprecate Stringly typed RenameMap APIs which were accidentally
  undeprecated a while ago

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>






Remove some printlns in tests (#2445)
2021-12-17T17:39:34+00:00

Jack Koenig

2021-12-17T17:39:34+00:00

6b82bcf6690e38ff472a39eaae7e6375ff7085e4

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>




Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>






[deprecation clean up] remove trait firrtl.util.BackendCompilationUtilities (#2423)
2021-11-30T03:16:02+00:00

Jiuyang Liu

2021-11-30T03:16:02+00:00

a4d13a5024f7488e1d2b9fdd27d3917157a67268

Co-authored-by: Jack Koenig <koenig@sifive.com>




Co-authored-by: Jack Koenig <koenig@sifive.com>






smt: fix handling of div primitive in formal backend (#2409)
2021-11-10T14:33:39+00:00

Kevin Laeufer

2021-11-10T14:33:39+00:00

18b9a987552492928aa1199d8cf498fe561c2f03

We never tested the case where the width of the
numerator was less than the denominator.
This should fix any issue with this combination.




We never tested the case where the width of the
numerator was less than the denominator.
This should fix any issue with this combination.






Add RTLIL Backend. (#2331)
2021-09-29T03:18:48+00:00

Nicolas Machado

2021-09-29T03:18:48+00:00

e70ee5367c864e55ff16637430b712666b7dbd2b

* Added RTLIL Backend.

* Add test for Rtlil Backend, fix per-module file emission, scalafmt, and apply bugfixes for inconsistencies found during testing.

* Fix build on scala 2.13

* Add additional equivalence test, make some bugfixes and perf opts to the emitter.

* Final changes as requested by Kevin, code cleanup, add support for formal cells.




* Added RTLIL Backend.

* Add test for Rtlil Backend, fix per-module file emission, scalafmt, and apply bugfixes for inconsistencies found during testing.

* Fix build on scala 2.13

* Add additional equivalence test, make some bugfixes and perf opts to the emitter.

* Final changes as requested by Kevin, code cleanup, add support for formal cells.






smt: refactor SMT expression library (#2347)
2021-09-08T22:00:46+00:00

Kevin Laeufer

2021-09-08T22:00:46+00:00

f76640d9dc4620a3b61975d54e5783c36e7c6936