1. Aug 12, 2020
  2. Aug 11, 2020
  3. Aug 07, 2020
  4. 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
  6. Jul 30, 2020
  7. Jul 29, 2020
  8. Jul 26, 2020
  9. 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
  10. Jul 22, 2020
  11. Jul 16, 2020
  12. Jul 14, 2020
  13. Jul 06, 2020
  14. Jul 01, 2020
  15. 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
  16. Jun 24, 2020
  17. Jun 23, 2020