sfcX/src/main/scala/firrtl/backends/experimental, branch master Scala FIRRTL Compiler for chiselX smt: make SMTExprMap object public (#2534) 2022-08-03T16:05:36+00:00 Kevin Laeufer 2022-08-03T16:05:36+00:00 ad0dd6a2808789d0eda3665d5f565f0988db2c77 The simple functionality is needed in chiseltest. 
The simple functionality is needed in chiseltest.
 [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
 Remove some warnings (#2448) 2021-12-22T02:47:18+00:00 Jack Koenig 2021-12-22T02:47:18+00:00 4f3d1003811aa38d10e32b347c8607414d9be034 * Fix unreachable code warning by changing match order Simulation Statements did not previously extend IsDeclaration, but now they do so their match blocks need to be above IsDeclaration. * Handle MemoryNoInit case in RtlilEmitter * Remove use of deprecated logToFile * Fix uses of LegalizeClocksTransform Replaced all uses of LegalizeClocksTransform with LegalizeClocksAndAsyncResetsTransform. * Remove use of CircuitForm in ZeroWidth 
* Fix unreachable code warning by changing match order

Simulation Statements did not previously extend IsDeclaration, but now
they do so their match blocks need to be above IsDeclaration.

* Handle MemoryNoInit case in RtlilEmitter

* Remove use of deprecated logToFile

* Fix uses of LegalizeClocksTransform

Replaced all uses of LegalizeClocksTransform with
LegalizeClocksAndAsyncResetsTransform.

* Remove use of CircuitForm in ZeroWidth
 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 






smt: correctly serialize array index on read (#2446)
2021-12-17T20:04:52+00:00

Kevin Laeufer

2021-12-17T20:04:52+00:00

57ce615d73995a29f89c2f9b11482fe80442439b

This should fix issue #2436




This should fix issue #2436






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>






Disable random init (#2396)
2021-11-19T19:17:37+00:00

Jiuyang Liu

2021-11-19T19:17:37+00:00

b027eb466b033a0a9d229f19feb931ddb292a9fa

* Add option to disable random mem/reg init

Co-authored-by: Jiuyang Liu <liu@jiuyang.me>

* fix for code review.

Co-authored-by: SharzyL <me@sharzy.in>




* Add option to disable random mem/reg init

Co-authored-by: Jiuyang Liu <liu@jiuyang.me>

* fix for code review.

Co-authored-by: SharzyL <me@sharzy.in>






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.






typo: correct Error Info (#2398)
2021-10-28T13:33:16+00:00

SingularityKChen

2021-10-28T13:33:16+00:00

e298b01d3086e78c187cb1c3611a206216499031

+ correct the Error Info of "At least one dedupable annotation..."




+ correct the Error Info of "At least one dedupable annotation..."






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.