chiselX/integration-tests/src/test, branch master Chisel with SFC compatibility Add Scalafmt for mill (backport #2805) (#2807) 2022-10-25T01:58:03+00:00 mergify[bot] 2022-10-25T01:58:03+00:00 2f890aabc1ecf04c6efcb84cee4f00da67be6a53 * Add Scalafmt for mill (#2805) * add scalafmt for test in mill build system. * reformat codes in integration-tests (cherry picked from commit d881fd29d7af91a7c514565b4b21797f1e44fbdb) # Conflicts: # build.sc # integration-tests/src/test/scala/chiselTests/util/experimental/BitPat.scala * Resolve backport conflicts Co-authored-by: Jiuyang Liu <liu@jiuyang.me> Co-authored-by: Jack Koenig <koenig@sifive.com> 
* Add Scalafmt for mill (#2805)

* add scalafmt for test in mill build system.
* reformat codes in integration-tests

(cherry picked from commit d881fd29d7af91a7c514565b4b21797f1e44fbdb)

# Conflicts:
#	build.sc
#	integration-tests/src/test/scala/chiselTests/util/experimental/BitPat.scala

* Resolve backport conflicts

Co-authored-by: Jiuyang Liu <liu@jiuyang.me>
Co-authored-by: Jack Koenig <koenig@sifive.com>
 Add scanLeftOr and scanRightOr utilies (#2407) (#2437) 2022-03-08T00:30:37+00:00 mergify[bot] 2022-03-08T00:30:37+00:00 941dd7ee76cadacbdd10b3d10d267f5d58a7ed4e Co-authored-by: Jiuyang Liu <liu@jiuyang.me> Co-authored-by: Megan Wachs <megan@sifive.com> Co-authored-by: Jack Koenig <koenig@sifive.com> (cherry picked from commit 73d3c26029c07c17ce179dfead092eab4fb8ae2c) Co-authored-by: Liu Xiaoyi <circuitcoder0@gmail.com> 
Co-authored-by: Jiuyang Liu <liu@jiuyang.me>
Co-authored-by: Megan Wachs <megan@sifive.com>
Co-authored-by: Jack Koenig <koenig@sifive.com>
(cherry picked from commit 73d3c26029c07c17ce179dfead092eab4fb8ae2c)

Co-authored-by: Liu Xiaoyi <circuitcoder0@gmail.com>
 Fix Decoder bug for constant 0 and DC (#2363) (#2371) 2022-01-28T00:20:24+00:00 mergify[bot] 2022-01-28T00:20:24+00:00 91ad2312cab72442fcfec9c28576b5464669f8fd * Fix the QMC bug for constant and dontcare output. * Fix the Espresso bug for constant and dontcare output. (cherry picked from commit 46b53320e9ec09fc26d63259f1821f4234640839) Co-authored-by: Jiuyang Liu <liu@jiuyang.me> 
* Fix the QMC bug for constant and dontcare output.
* Fix the Espresso bug for constant and dontcare output.

(cherry picked from commit 46b53320e9ec09fc26d63259f1821f4234640839)

Co-authored-by: Jiuyang Liu <liu@jiuyang.me>
 util: add GrayCode (#2353) (#2354) 2022-01-19T01:41:59+00:00 mergify[bot] 2022-01-19T01:41:59+00:00 042be4b2d8a846d12c5c5dfd64f10b5caee93125 (cherry picked from commit 91d7baa8e7162d736f46b6d4964b09016d2dd172) Co-authored-by: Kevin Laeufer <laeufer@cs.berkeley.edu> 
(cherry picked from commit 91d7baa8e7162d736f46b6d4964b09016d2dd172)

Co-authored-by: Kevin Laeufer <laeufer@cs.berkeley.edu>
 Refactor TruthTable to use Seq (#2217) 2021-12-15T07:53:52+00:00 Jiuyang Liu 2021-12-15T07:53:52+00:00 36506c527ff0f51636beee4160f0ce1f6ad2f90a This makes the resulting Verilog from decoding a TruthTable deterministic. 
This makes the resulting Verilog from decoding a TruthTable deterministic.
 SyncReadMem: fix bug with read(addr) and add some formal tests (#2092) 2021-08-30T23:06:59+00:00 Kevin Laeufer 2021-08-30T23:06:59+00:00 29665743acff120bc87ee997890d7f952317144e 






replace custom model checker with chiseltest formal verify command (#2075)
2021-08-25T19:38:56+00:00

Kevin Laeufer

2021-08-25T19:38:56+00:00

3840fec3d918f23df07a18311136ac6a1bc365e1

* replace custom model checker with chiseltest formal verify command

* integration-tests can make use of chiseltest

This is a compromise solution to avoid issues
with binary compatibility breaking changes in chisel3.

* ci: move integration tests into separate job

* run integration tests only for one scala version

* ci: install espresso for integration tests

* Update build.sbt

Co-authored-by: Jack Koenig <jack.koenig3@gmail.com>

Co-authored-by: Jack Koenig <jack.koenig3@gmail.com>




* replace custom model checker with chiseltest formal verify command

* integration-tests can make use of chiseltest

This is a compromise solution to avoid issues
with binary compatibility breaking changes in chisel3.

* ci: move integration tests into separate job

* run integration tests only for one scala version

* ci: install espresso for integration tests

* Update build.sbt

Co-authored-by: Jack Koenig <jack.koenig3@gmail.com>

Co-authored-by: Jack Koenig <jack.koenig3@gmail.com>