1. Aug 14, 2020
  2. Aug 12, 2020
  3. Aug 11, 2020
  4. Aug 08, 2020
  5. Aug 07, 2020
  6. Aug 06, 2020
    • Kevin Laeufer's avatar
      ir: add UseSerializer mixin trait (#1824) · f41ac7da
      Kevin Laeufer authored
      
      
      Using the new trait to overwrite serialize at the
      leaf classes, we ensure that new, e.g., Expression
      nodes will not automatically try to call
      `Serializer.serialize` which would fail by default.
      
      Co-authored-by: default avatarmergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
      f41ac7da
    • Kevin Laeufer's avatar
      Deprecate InstanceGraph (#1800) · b1ec7cd7
      Kevin Laeufer authored
      * InstanceKeyGraph: add staticInstanceCount, getGraph and getChildrenInstanceMap
      
      * InstanceKeyGraph: reachableModules, unreachableModules, lowestCommonAncestor and fullHierarchy
      
      * Replace usage of InstanceGraph with InstanceKeyGraph
      
      Also deprecates all unused methods.
      
      * WiringUtils: make new version of sinksToSources package private
      
      This will make our live easier next time we need to change it.
      
      * CircuitGraph: use InstanceKeyGraph
      
      * InstanceKeyGraphSpec: respect maximum line width
      
      * InstanceKeyGraph: make constructor private
      
      * InstanceKeyGraph: move lowestCommonAncestor function to Wiring
      
      * WiringUtils: update deprecation message
      b1ec7cd7
  7. Aug 02, 2020
  8. Aug 01, 2020
    • Kevin Laeufer's avatar
    • Jack Koenig's avatar
      Avoid repeated inlining in FlattenRegUpdate (#1727) · 17279da1
      Jack Koenig authored
      * Avoid repeated inlining in FlattenRegUpdate
      
      When-else structure can lead to the same complex mux structure being
      the default on several branches in register update logic. When these are
      inlined, it can lead to artifical unreachable branches that show up as
      coverage holes in coverage of the emitted Verilog. This commit changes
      the inlining logic to prevent inlining any reference expression that
      shows up multiple times because this is a common indicator of the
      problematic case.
      
      * Add tests for improved register update logic emission
      
      * Improve FlattenRegUpdate comment and add more tests
      
      * [skip formal checks] ICache equivalence check verified locally
      17279da1
    • Kevin Laeufer's avatar
      CircuitGraph: remove fields from public API (#1813) · 31132333
      Kevin Laeufer authored
      They are never used outside of the class
      not even in tests.
      31132333
    • Jiuyang Liu's avatar
      [WIP] Implement CircuitGraph and IRLookup to firrtl.analyses (#1603) · f22652a3
      Jiuyang Liu authored
      
      
      * WIP Commit
      
      * Add EdgeDataDiGraph with views to amortize graph construction
      
      * WIP, got basic structure, need tests to pipeclean
      
      * First tests pass. Need more.
      
      * Tests pass, more need to be written
      
      * More tests pass! Things should work, except for memories
      
      * Added clearPrev to fix digraph uses where caching prev breaks
      
      * Removed old Component. Documented IRLookup
      
      * Added comments. Make prev arg to getEdges
      
      * WIP: Refactoring for CircuitGraph
      
      * Refactored into CircuitGraph. Can do topological module analysis
      
      * Removed old versions
      
      * Added support for memories
      
      * Added cached test
      
      * More stufffff
      
      * Added implicit caching of connectivity
      
      * Added tests for IRLookup, and others
      
      * Many major changes.
      
      Replaced CircuitGraph as ConnectionGraph
      Added CircuitGraph to be top-level user-facing object
      ConnectionGraph now automatically shortcuts getEdges
      ConnectionGraph overwrites BFS as PriorityBFS
      Added leafModule to Target
      Added lookup by kind to IRLookup
      Added more tests
      
      * Reordered stuff in ConnectionGraph
      
      * Made path work with deep hierarchies. Added PML for IllegalClockCrossings
      
      * Made pathsInDAG work with current shortcut semantics
      
      * Bugfix: check pathless targets when shortcutting paths
      
      * Added documentation/licenses
      
      * Removed UnnamedToken and related functionality
      
      * Added documentation of ConnectionGraph
      
      * Added back topo, needed for correct solving of intermediate modules
      
      * Bugfix. Cache intermediate clockSources from same BFS with same root, but not BFS with different root
      
      * Added literal/invalid clock source, and unknown top for getclocksource
      
      * Bugfix for clocks in bundles
      
      * Add CompleteTargetSerializer and test
      
      * remove ClockFinder, be able to compile.
      
      * test is able to compile, but need to fix.
      
      * public and abstract DiGraph, remove DiGraphLike.
      
      * revert some DiGraph code, ConnectionGraphSpec passed.
      
      * CircuitGraphSpec passed.
      
      * minimize diff between master
      
      * codes clean up
      
      * override linearize and revert DiGraph
      
      * keep DiGraph unchanged.
      
      * make ci happy again.
      
      * codes clean up.
      
      * bug fix for rebase
      
      * remove wir
      
      * make scaladoc happy again.
      
      * update for review.
      
      * add some documentation.
      
      * remove tag
      
      * wip IRLookup
      
      * code clean up and add some doucmentations.
      
      * IRLookup cache with ModuleTarget guarded.
      
      * make unidoc and 2.13 happy
      
      Co-authored-by: default avatarAdam Izraelevitz <azidar@gmail.com>
      Co-authored-by: default avatarAlbert Magyar <albert.magyar@gmail.com>
      Co-authored-by: default avatarJack Koenig <koenig@sifive.com>
      f22652a3
  9. Jul 31, 2020
  10. Jul 30, 2020