Skip to content
GitLab
  1. Aug 07, 2020
  3. Aug 01, 2020
    • Albert Magyar's avatar
      Check whether signals escape their when scopes (#1518) · 5ecde24d
      Albert Magyar authored 
      * Include and check when scoping as part of reg/mem/wire/node bindings

* Allow outdated 'when' behavior of CHIRRTL memory ports with enables

* Extend cross-module / when-visibility checks to all data refs

* Fixes #1512
* Cannot be checked if outside a module context
* E.g. delayed evaluation of printf / assert args

* Add basic test cases for cross-module refs / signals escaping when scopes

* Remove illegal cross-module references from existing tests
      5ecde24d
  5. Jul 31, 2020
  7. Jul 30, 2020
  9. Jul 29, 2020
  11. Jul 26, 2020
  13. Jul 23, 2020
    • Tom Alcorn's avatar
      Basic model checking API (#1499) · 57c846b1
      Tom Alcorn authored 
      * Add `check(...)` affordance

* Add assert (renamed from check and fixed)

* Add verification statements

* Move formal to experimental.verification

* Make test use ChiselStage

`generateFirrtl` has been cut from Chisel

* Fix newly introduced style warnings

* Fix some old style warnings for good measure

* Revert "Fix some old style warnings for good measure"

This reverts commit 31d51726c2faa4c277230104bd469ff7ffefc890.

* Cut scalastyle comments

* Cut formal delimiter comments
      57c846b1
  15. Jul 22, 2020
  17. Jul 16, 2020
  19. Jul 14, 2020
  21. Jul 06, 2020
  23. Jul 01, 2020
  25. Jun 30, 2020
    • chick's avatar
      - A few final fixes after the rebase · 3694b092
      chick authored
      3694b092
    • chick's avatar
      This adds a mechanism for the unittests to be run with the TreadleBackend · 0a17d89f
      chick authored 
      This mechanism is not enabled and should not change the behavior of existing tests
A following PR will deliver a switch that will allow changing the backend.
The reasons for this PR
- Treadle tests run much faster, enabling quicker debugging and CI cycles
- This will help ensure fidelity of Treadle to the Verilator backend

A few tests are marked as verilator only due to black box limitations

Change treadle to a direct dependency

I tried to make it a test only dependency but the TesterDriver sits in src/main requiring that
regular compile have access to treadle

Oops, made treadle the default

A number of changes in response to @ducky64 review
- made backend check clearer and add error handling for multiple backends specified
- Fixed duplicate TargetDirAnnotation uses in Treadle backend
- Cleaned up BlackBox test formatting
- Undid unnecessary debugging changes from Counter
- Undid .gitignore change, that should be on another PR

A number of changes in response to @ducky64 review
- Undid debugging changes made to BitWiseOps
      0a17d89f
  27. Jun 24, 2020
  29. Jun 23, 2020
  31. Jun 20, 2020
  33. Jun 19, 2020
  35. Jun 17, 2020
  37. Jun 09, 2020