diff options
| author | Albert Chen | 2020-05-18 10:47:41 -0700 |
|---|---|---|
| committer | GitHub | 2020-05-18 17:47:41 +0000 |
| commit | 87d3f8200ab7e05e07bdf36fa518219b8bd08513 (patch) | |
| tree | 3411ed2a52788d9f3a17bb92e367bef8c71e8f86 /src/main/scala/tutorial | |
| parent | 1cf446ce675208e739bf7b2b06f69cee7784ad52 (diff) | |
Fix equivalence tests (#853)
* - modify firrtlEquivalenceTest to use yosys equiv_simple/equiv_induct instead of miter
- add RemoveValidIf pass to MinimumLowFirrtlOptimization
* add EquivalenceTest to FirrtlSpec.scala, make classes in IntegrationSpec.scala abstract
* change types of inputForm/outputForm to CircuitForm
* change EquivalenceTest message
* remove ICache equivalence tests
* fix rebase errors
* Add Ops scalatests to LEC suite
* Only run compiler-path-comparison LEC tests on Ops design
* Fixup issues with merge
Co-authored-by: Albert Magyar <albert.magyar@gmail.com>
Diffstat (limited to 'src/main/scala/tutorial')
0 files changed, 0 insertions, 0 deletions