sfcX - Scala FIRRTL Compiler for chiselX

Age	Commit message (Collapse)	Author
2022-01-17	[smt] correct comparison for out-of-bounds memory access check (#2463)	Kevin Laeufer
	This fixes an off by one error, where 3 was erroneously accepted as in-bounds for a memory of depth=3
2021-08-02	add emitter for optimized low firrtl (#2304)	Kevin Laeufer
	* 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>
2021-03-09	SMT Backend: model Invalid and Division by Zero with DefRandom nodes (#2104)	Kevin Laeufer
	This finally removes all randomization code from the transition system conversion and into a separate pass using DefRandom nodes.
2021-03-08	SMT: memory port inout fields cannot be used as RHS expressions (#2105)	Kevin Laeufer
	* SMT: memory port inout fields cannot be used as RHS expressions * smt: add end2end check for read enable modelling
2021-03-04	SMT Backend: move undefined memory behavior modelling to firrtl IR level (#2095)	Kevin Laeufer
	With this PR the smt backend now supports memories with more than two write ports and the conservative memory modelling can be selectively turned off with a new annotation.