Highlights
- Pro
Pinned
668 contributions in the last year
Less
More
Activity overview
Contribution activity
June 2021
Created 33 commits in 2 repositories
Created a pull request in llvm/circt that received 5 comments
[FIRRTL][InferWidths] Tighten LinIneq addition lower bounds, update solver
The way LinIneq::add derives a new maximum is overly pessimistic and can erroneously indicate cycles commonly found in designs as unbreakable. Th…
+297
−85
•
5
comments
Opened 8 other pull requests in 2 repositories
llvm/circt
1
open
6
merged
- [FIRRL] Add InferResets pass
- [FIRRTL][InferWidths] Add support for PartialConnectOp
- [FIRRTL][InferWidths] Add support for MemOp
- [firtool] Enable width inference by default
- [FIRRTL] Infer widths across modules and instances
- [FIRRTL] Make width inference ready for on-by-default
- [FIRRTL] Expand AnnotationSet mutation API
youngar/circt
1
merged
Reviewed 17 pull requests in 1 repository
llvm/circt 17 pull requests
- [FIRRTL][LowerToHW] Emit warning on unprocessed annotations
- [PrettifyVerilog] Sink constants into the block where they are used
- [FIRRTL] Add pass to handle grand central data and memory taps
- [FIRRTL][InferWidths] Tighten LinIneq addition lower bounds, update solver
- [FIRRTL][InferWidths] Add support for PartialConnectOp
- [FIRRTL][InferWidths] Add support for MemOp
- [FIRRTL][InferWidths] Add support for aggregate types
- [FIRRTL][InferWidths] Add support for NodeOp
- Grand Central Interface Support
- [HW] Add symbol to sv::RegOp if DontTouch annotation present
- [HW] Don't remove Registers if symbol present on it.
- [FIRRTL] Make width inference ready for on-by-default
- [FIRRTL] Allow BlackBox Reader to use a path to resolve resource ids.
- [FIRRTL][BlackBoxReader] Stop emitting duplicate blackboxes
- [FIRRTL] Expand AnnotationSet mutation API
- [ExportVerilog] don't print doNotPrint instances
- [FIRRTL] Add verbatim.expr operation
Created an issue in llvm/circt that received 5 comments
Run CI tests through valgrind?
I just ran into an out-of-bounds access I accidentally introduced in #1178, which was easy to catch through Valgrind, but wasn't obvious from the C…
5
comments