git.libre-soc.org Git - yosys.git/search

2022-05-16	Jannis Harder	Merge pull request #3314 from jix/sva_value_change_logic_wide	commit \| commitdiff \| tree
2022-05-11	Jannis Harder	verific: Use new value change logic also for $stable...	commit \| commitdiff \| tree
2022-05-09	Jannis Harder	Merge pull request #3305 from jix/sva_value_change_logic	commit \| commitdiff \| tree
2022-05-09	Jannis Harder	Merge pull request #3297 from jix/sva_nested_clk_else	commit \| commitdiff \| tree
2022-05-09	Jannis Harder	verific: Improve logic generated for SVA value change...	commit \| commitdiff \| tree
2022-05-03	Jannis Harder	verific: Fix conditions of SVAs with explicit clocks...	commit \| commitdiff \| tree
2022-04-25	Jannis Harder	Merge pull request #3287 from jix/smt2-conditional...	commit \| commitdiff \| tree
2022-04-25	Jannis Harder	Merge pull request #3257 from jix/tribuf-formal	commit \| commitdiff \| tree
2022-04-20	Jannis Harder	smt2: Make write port array stores conditional on nonzero...	commit \| commitdiff \| tree
2022-04-12	Jannis Harder	tribuf: `-formal` option: convert all to logic and...	commit \| commitdiff \| tree
2022-04-02	Jannis Harder	Merge pull request #3264 from jix/invalid_ff_dcinit_merge	commit \| commitdiff \| tree
2022-04-01	Jannis Harder	opt_merge: Add `-keepdc` option required for formal...	commit \| commitdiff \| tree
2022-03-29	Jannis Harder	smtbmc: fix bmc with no assertions	commit \| commitdiff \| tree
2022-03-28	Jannis Harder	Merge pull request #3253 from jix/smtbmc-nodeepcopy	commit \| commitdiff \| tree
2022-03-28	Jannis Harder	Merge pull request #3247 from jix/smtbmc-keepgoing	commit \| commitdiff \| tree
2022-03-28	Jannis Harder	smtbmc: Avoid unnecessary deep copies during unrolling	commit \| commitdiff \| tree
2022-03-24	Jannis Harder	yosys-smtbmc: Option to keep going after failed assertions...	commit \| commitdiff \| tree
2022-03-24	Jannis Harder	yosys-smtbmc: Fix typo in help text, remove trailing...	commit \| commitdiff \| tree

RSS Atom