chiselX/src/test/scala/chiselTests/util/experimental, branch master Chisel with SFC compatibility TruthTable improvements: structural equality and delete sort (backport #2935) (#2936) 2023-01-12T00:04:06+00:00 mergify[bot] 2023-01-12T00:04:06+00:00 6a63353f2a6c3311e61b9a7b5b899d8ad904a86d * TruthTable improvements: structural equality and delete sort (#2935) We had implemented equals, but not hashCode. This commit also changes the implemental of equals to just use the underlying values instead of wasting the compute calling .toString. Delete TruthTable.sort, it is unused. (cherry picked from commit b5d9c08b2d0994b94df2380425282206fe1f25bc) * Restore and deprecate TruthTable.sort Co-authored-by: Jack Koenig <koenig@sifive.com> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> 
* TruthTable improvements: structural equality and delete sort (#2935)

We had implemented equals, but not hashCode. This commit also changes
the implemental of equals to just use the underlying values instead of
wasting the compute calling .toString.

Delete TruthTable.sort, it is unused.

(cherry picked from commit b5d9c08b2d0994b94df2380425282206fe1f25bc)

* Restore and deprecate TruthTable.sort

Co-authored-by: Jack Koenig <koenig@sifive.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
 Refactor TruthTable.apply and add factory method for Espresso (backport #2612) (#2620) 2022-07-06T21:42:13+00:00 mergify[bot] 2022-07-06T21:42:13+00:00 4f10bdd703d7559cddae50541cf7c8e0a1c1d4c0 * Refactor TruthTable.apply and add factory method for Espresso (#2612) Improves performance of creating TruthTables by processing entire BitPats rather than individual bits. New TruthTable factory method enables constructing TruthTables with semantics of OR-ing output BitPats together rather than erroring when multiple terms have the same input BitPat. This alternative factory method matches semantics for the output format of Espresso. Co-authored-by: Megan Wachs <megan@sifive.com> Co-authored-by: Jack Koenig <koenig@sifive.com> (cherry picked from commit 231f14e74f112a9f721e774561126b2bd1250039) # Conflicts: # src/main/scala/chisel3/util/BitPat.scala * Resolve backport conflicts Co-authored-by: Aditya Naik <91489422+adkian-sifive@users.noreply.github.com> 
* Refactor TruthTable.apply and add factory method for Espresso (#2612)

Improves performance of creating TruthTables by processing entire BitPats
rather than individual bits. New TruthTable factory method enables
constructing TruthTables with semantics of OR-ing output BitPats together
rather than erroring when multiple terms have the same input BitPat.
This alternative factory method matches semantics for the output format
of Espresso.

Co-authored-by: Megan Wachs <megan@sifive.com>
Co-authored-by: Jack Koenig <koenig@sifive.com>
(cherry picked from commit 231f14e74f112a9f721e774561126b2bd1250039)

# Conflicts:
#	src/main/scala/chisel3/util/BitPat.scala

* Resolve backport conflicts

Co-authored-by: Aditya Naik <91489422+adkian-sifive@users.noreply.github.com>
 Make TruthTable accept unknown input width (#2387) (#2417) 2022-02-15T22:35:23+00:00 mergify[bot] 2022-02-15T22:35:23+00:00 4b8584b1d2c46c76b1540e265a84eeb247d684e4 Widths are now padded to the maximum width of the inputs. Co-authored-by: Jack Koenig <koenig@sifive.com> (cherry picked from commit 546b4e13fe90ff09d24b63664c072d46c13c0c38) Co-authored-by: Jiuyang Liu <liu@jiuyang.me> 
Widths are now padded to the maximum width of the inputs.

Co-authored-by: Jack Koenig <koenig@sifive.com>
(cherry picked from commit 546b4e13fe90ff09d24b63664c072d46c13c0c38)

Co-authored-by: Jiuyang Liu <liu@jiuyang.me>
 Apply scalafmt 2022-01-10T23:53:55+00:00 Jack Koenig 2022-01-10T18:39:52+00:00 3131c0daad41dea78bede4517669e376c41a325a Command: sbt scalafmtAll 
Command:
sbt scalafmtAll
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.
 Test case rework 2021-09-07T04:29:58+00:00 Boyang Han 2021-09-07T04:27:51+00:00 0ca4ce23400d3624f8f617aa8ae21880d8430c2e 






Add a test case to demonstrate the bug found in #2112
2021-09-06T14:35:46+00:00

Boyang Han

2021-09-06T14:35:46+00:00

89679a3c7b42f34d3b9e93dfb6972bc36b6af297












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>






Espresso Decoder (#1964)
2021-07-14T18:32:06+00:00

Jiuyang Liu

2021-07-14T18:32:06+00:00

695864f5716626a15a7798dae048d8301940a2db

Co-authored-by: Haoran Yuan <sinofp@tuta.io>
Co-authored-by: Boyang Han <yqszxx@gmail.com>




Co-authored-by: Haoran Yuan <sinofp@tuta.io>
Co-authored-by: Boyang Han <yqszxx@gmail.com>






Add 7 segment display decoder test case
2021-06-30T14:07:59+00:00

Boyang Han

2021-06-23T09:37:27+00:00

1e40c7e2a2fd227c752e4e4dc29925004f790f7d