-
Notifications
You must be signed in to change notification settings - Fork 855
Pull requests: YosysHQ/yosys
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
liberty: Support for IO liberty files for verification
#4439
opened Jun 10, 2024 by
gatecat
Loading…
clean up of wallace tree generation in booth multiplier
#4421
opened May 28, 2024 by
andyfox-rushc
•
Draft
fix(#4402):missing sign while for loop iteration variable is signed
#4416
opened May 26, 2024 by
YoYo-0513
Loading…
cost: add keep_hierarchy pass with max_cost argument
status-needs-review
Status: Needs reviewers to move forward
#4344
opened Apr 18, 2024 by
widlarizer
Loading…
write_btor: Include
$assert
and $assume
cells in -ywmap output
#4320
opened Apr 6, 2024 by
KrystalDelusion
Loading…
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.