projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Use SVA label in smt export if available
2019-03-04
Keith Rothman
Revert BRAM WRITE_MODE changes.
Signed-off-by:
Keith Rothman
<537074+litghost@users.noreply...
commit
|
commitdiff
|
tree
2019-03-01
Keith Rothman
Revert FF models to include IS_x_INVERTED parameters.
Signed-off-by:
Keith Rothman
<537074+litghost@users.noreply...
commit
|
commitdiff
|
tree
2019-03-01
Keith Rothman
Use singular for disabling of DRAM or BRAM inference.
Signed-off-by:
Keith Rothman
<537074+litghost@users.noreply...
commit
|
commitdiff
|
tree
2019-03-01
Keith Rothman
Modify arguments to match existing style.
Signed-off-by:
Keith Rothman
<537074+litghost@users.noreply...
commit
|
commitdiff
|
tree
2019-03-01
Keith Rothman
Changes required for VPR place and route synth_xilinx.
Signed-off-by:
Keith Rothman
<537074+litghost@users.noreply...
commit
|
commitdiff
|
tree
2019-02-22
Keith Rothman
Fix WREDUCE on FF not fixing ARST_VALUE parameter.
Signed-off-by:
Keith Rothman
<537074+litghost@users.noreply...
commit
|
commitdiff
|
tree
2019-02-21
Keith Rothman
Add -params mode to force undef parameters in selected...
Signed-off-by:
Keith Rothman
<537074+litghost@users.noreply...
commit
|
commitdiff
|
tree