sfcX/src/test/scala/firrtl/backends/experimental/smt/random/InvalidToRandomSpec.scala, branch 1.6.x Scala FIRRTL Compiler for chiselX add emitter for optimized low firrtl (#2304) 2021-08-02T20:46:29+00:00 Kevin Laeufer 2021-08-02T20:46:29+00:00 e04f1e7f303920ac1d1f865450d0e280aafb58b3 * rearrange passes to enable optimized firrtl emission * Support ConstProp on padded arguments to comparisons with literals * Move shr legalization logic into ConstProp Continue calling ConstProp of shr in Legalize. Co-authored-by: Jack Koenig <koenig@sifive.com> Co-authored-by: Jack Koenig <koenig@sifive.com> 
* rearrange passes to enable optimized firrtl emission

* Support ConstProp on padded arguments to comparisons with literals

* Move shr legalization logic into ConstProp

Continue calling ConstProp of shr in Legalize.

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

Co-authored-by: Jack Koenig <koenig@sifive.com>
 SMT Backend: model Invalid and Division by Zero with DefRandom nodes (#2104) 2021-03-09T01:37:35+00:00 Kevin Laeufer 2021-03-09T01:37:35+00:00 8a4c156f401c8bfab5f2d595c32c20534f0722d7 This finally removes all randomization code from the transition system conversion and into a separate pass using DefRandom nodes. 
This finally removes all randomization code from the transition
system conversion and into a separate pass using DefRandom nodes.