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

2022-04-22	Miodrag Milanovic	latches are always set to zero	blob \| commitdiff \| raw
2022-04-22	Miodrag Milanovic	If not multiclock, output only on clock edges	blob \| commitdiff \| raw \| diff to current
2022-04-22	Miodrag Milanovic	Set init state for all wires from FST and set past	blob \| commitdiff \| raw \| diff to current
2022-04-22	Miodrag Milanovic	Fix multiclock for btor2 witness	blob \| commitdiff \| raw \| diff to current
2022-04-18	Miodrag Milanović	Merge pull request #3280 from YosysHQ/micko/fix_readaiw	blob \| commitdiff \| raw \| diff to current
2022-04-15	Miodrag Milanovic	Fix reading aiw from other solvers	blob \| commitdiff \| raw \| diff to current
2022-04-04	Miodrag Milanović	Merge pull request #3265 from YosysHQ/micko/sim_improve...	blob \| commitdiff \| raw \| diff to current
2022-04-02	Miodrag Milanovic	past_ad initial value setting	blob \| commitdiff \| raw \| diff to current
2022-04-02	Miodrag Milanovic	setInitState can be only one altering values	blob \| commitdiff \| raw \| diff to current
2022-04-02	Miodrag Milanovic	Set past_d value for init state	blob \| commitdiff \| raw \| diff to current
2022-03-31	Miodrag Milanović	Merge pull request #3256 from YosysHQ/micko/aiw_multiclock	blob \| commitdiff \| raw \| diff to current
2022-03-31	Miodrag Milanovic	Support memories in aiw and multiclock	blob \| commitdiff \| raw \| diff to current
2022-03-28	Lofty	Merge pull request #3194 from Ravenslofty/abc9-flow3mfs	blob \| commitdiff \| raw \| diff to current
2022-03-22	Miodrag Milanovic	Proper SigBit forming in sim	blob \| commitdiff \| raw \| diff to current
2022-03-22	Miodrag Milanovic	Proper SigBit forming in sim	blob \| commitdiff \| raw \| diff to current
2022-03-18	Miodrag Milanovic	More verbose warnings	blob \| commitdiff \| raw \| diff to current
2022-03-17	Miodrag Milanović	Merge pull request #3236 from YosysHQ/micko/tb_initial	blob \| commitdiff \| raw \| diff to current
2022-03-16	Miodrag Milanovic	Recognize registers and set initial state for them...	blob \| commitdiff \| raw \| diff to current
2022-03-16	Miodrag Milanovic	Update sim help message.	blob \| commitdiff \| raw \| diff to current
2022-03-14	Miodrag Milanović	Merge pull request #3232 from YosysHQ/micko/fst2tb	blob \| commitdiff \| raw \| diff to current
2022-03-14	Miodrag Milanovic	Added fst2tb pass for generating testbench	blob \| commitdiff \| raw \| diff to current
2022-03-14	Claire Xen	Merge pull request #3213 from antonblanchard/abc-typo	blob \| commitdiff \| raw \| diff to current
2022-03-11	Miodrag Milanović	Merge pull request #3229 from YosysHQ/micko/sim_date	blob \| commitdiff \| raw \| diff to current
2022-03-11	Miodrag Milanović	Merge pull request #3222 from zachjs/prune-linux-ci	blob \| commitdiff \| raw \| diff to current
2022-03-11	Miodrag Milanović	Merge pull request #3228 from YosysHQ/micko/disable_tests	blob \| commitdiff \| raw \| diff to current
2022-03-11	Claire Xenia Wolf	Add "sim -q" option	blob \| commitdiff \| raw \| diff to current
2022-03-11	Miodrag Milanovic	Add date parameter to enable full date/time and version...	blob \| commitdiff \| raw \| diff to current
2022-03-11	Claire Xenia Wolf	Small fix in "sim" help message	blob \| commitdiff \| raw \| diff to current
2022-03-11	Miodrag Milanović	Merge pull request #3226 from YosysHQ/micko/btor2witness	blob \| commitdiff \| raw \| diff to current
2022-03-11	Miodrag Milanovic	FstData already do conversion to VCD	blob \| commitdiff \| raw \| diff to current
2022-03-11	Miodrag Milanovic	Support cell name in btor witness file	blob \| commitdiff \| raw \| diff to current
2022-03-11	Miodrag Milanovic	Proper write of memory data	blob \| commitdiff \| raw \| diff to current
2022-03-09	Miodrag Milanovic	Start work on memory init	blob \| commitdiff \| raw \| diff to current
2022-03-09	Miodrag Milanovic	Fixes and error check	blob \| commitdiff \| raw \| diff to current
2022-03-07	Miodrag Milanovic	cleanup	blob \| commitdiff \| raw \| diff to current
2022-03-07	Miodrag Milanovic	Error checks for aiger witness	blob \| commitdiff \| raw \| diff to current
2022-03-07	Miodrag Milanovic	btor2 witness co-simulation	blob \| commitdiff \| raw \| diff to current
2022-03-07	Miodrag Milanović	Merge pull request #3210 from rqou/json-signed	blob \| commitdiff \| raw \| diff to current
2022-03-04	Miodrag Milanović	Merge pull request #3186 from nakengelhardt/smtbmc_sby_...	blob \| commitdiff \| raw \| diff to current
2022-03-04	Miodrag Milanović	Merge pull request #3206 from YosysHQ/micko/quote_remove	blob \| commitdiff \| raw \| diff to current
2022-03-04	Miodrag Milanović	Merge pull request #3207 from nakengelhardt/json_escape...	blob \| commitdiff \| raw \| diff to current
2022-03-04	Miodrag Milanović	Merge pull request #3219 from YosysHQ/micko/quick_vcd	blob \| commitdiff \| raw \| diff to current
2022-03-04	Miodrag Milanović	Merge pull request #3220 from YosysHQ/claire/simstuff	blob \| commitdiff \| raw \| diff to current
2022-03-02	Miodrag Milanovic	Add option to ignore X only signals in output	blob \| commitdiff \| raw \| diff to current
2022-03-02	Miodrag Milanovic	Write simulation files after simulation is performed	blob \| commitdiff \| raw \| diff to current
2022-03-02	Claire Xen	Merge pull request #3224 from YosysHQ/micko/refactor	blob \| commitdiff \| raw \| diff to current
2022-03-02	Miodrag Milanovic	Cleanup	blob \| commitdiff \| raw \| diff to current
2022-02-28	Miodrag Milanovic	Refactor sim output writers	blob \| commitdiff \| raw \| diff to current
2022-02-28	Miodrag Milanovic	Quick fix	blob \| commitdiff \| raw \| diff to current
2022-02-28	Claire Xenia Wolf	Add writing of aiw files to "sim" command	blob \| commitdiff \| raw \| diff to current
2022-02-28	Claire Xenia Wolf	Hotfix in AIGER witness reader state machine	blob \| commitdiff \| raw \| diff to current
2022-02-28	Miodrag Milanovic	VCD reader support by using external tool	blob \| commitdiff \| raw \| diff to current
2022-02-28	Miodrag Milanović	Merge pull request #3216 from YosysHQ/claire/simstuff	blob \| commitdiff \| raw \| diff to current
2022-02-27	Miodrag Milanovic	Support extended aiw format	blob \| commitdiff \| raw \| diff to current
2022-02-25	Miodrag Milanovic	Fix for last clock edge data	blob \| commitdiff \| raw \| diff to current
2022-02-25	Claire Xenia Wolf	Experimental sim changes	blob \| commitdiff \| raw \| diff to current
2022-02-22	Claire Xen	Merge pull request #3211 from YosysHQ/micko/witness	blob \| commitdiff \| raw \| diff to current
2022-02-22	Claire Xen	Merge pull request #3197 from YosysHQ/claire/smtbmcfix	blob \| commitdiff \| raw \| diff to current
2022-02-21	Miodrag Milanović	Merge pull request #3203 from YosysHQ/micko/sim_ff	blob \| commitdiff \| raw \| diff to current
2022-02-21	Miodrag Milanovic	Fix handling of ce_over_srst	blob \| commitdiff \| raw \| diff to current
2022-02-18	Claire Xenia Wolf	Fix cycle 0 in aiger witness co-simulation	blob \| commitdiff \| raw \| diff to current
2022-02-18	Miodrag Milanovic	Added AIGER witness file co simulation	blob \| commitdiff \| raw \| diff to current
2022-02-18	Miodrag Milanovic	simplify logic of handling flip-flops and latches	blob \| commitdiff \| raw \| diff to current
2022-02-17	Miodrag Milanovic	Review cleanup	blob \| commitdiff \| raw \| diff to current
2022-02-16	Miodrag Milanovic	Add support for various ff/latch cells simulation	blob \| commitdiff \| raw \| diff to current
2022-02-11	Miodrag Milanović	Merge pull request #3164 from zachjs/fix-ast-warn	blob \| commitdiff \| raw \| diff to current
2022-02-11	Claire Xen	Merge branch 'master' into clk2ff-better-names	blob \| commitdiff \| raw \| diff to current
2022-02-11	Claire Xen	Merge pull request #2019 from boqwxp/glift	blob \| commitdiff \| raw \| diff to current
2022-02-07	Miodrag Milanović	Merge pull request #3185 from YosysHQ/micko/co_sim	blob \| commitdiff \| raw \| diff to current
2022-02-04	Miodrag Milanovic	Error detection for co-simulation	blob \| commitdiff \| raw \| diff to current
2022-02-04	Miodrag Milanovic	bug fix and cleanups	blob \| commitdiff \| raw \| diff to current
2022-02-02	Miodrag Milanovic	respect hide_internal flag	blob \| commitdiff \| raw \| diff to current
2022-02-02	Miodrag Milanovic	unify cycles counting and cleanup	blob \| commitdiff \| raw \| diff to current
2022-02-02	Miodrag Milanovic	added stimulus mode and param check	blob \| commitdiff \| raw \| diff to current
2022-01-31	Miodrag Milanovic	error when no signal found	blob \| commitdiff \| raw \| diff to current
2022-01-31	Miodrag Milanovic	Cleanup	blob \| commitdiff \| raw \| diff to current
2022-01-31	Miodrag Milanovic	Compare bits when not all are defined	blob \| commitdiff \| raw \| diff to current
2022-01-31	Miodrag Milanovic	Cleanup	blob \| commitdiff \| raw \| diff to current
2022-01-31	Miodrag Milanovic	message update	blob \| commitdiff \| raw \| diff to current
2022-01-31	Miodrag Milanovic	Display simulation time data	blob \| commitdiff \| raw \| diff to current
2022-01-31	Miodrag Milanovic	Use edges when explicit	blob \| commitdiff \| raw \| diff to current
2022-01-31	Miodrag Milanovic	Updating initial state and checks	blob \| commitdiff \| raw \| diff to current
2022-01-31	Miodrag Milanovic	Fix scope	blob \| commitdiff \| raw \| diff to current
2022-01-28	Marcelina Kościelnicka	Add $bmux and $demux cells.	blob \| commitdiff \| raw \| diff to current
2022-01-28	Miodrag Milanovic	check if stop before start	blob \| commitdiff \| raw \| diff to current
2022-01-28	Miodrag Milanovic	set initial state, only flip-flops	blob \| commitdiff \| raw \| diff to current
2022-01-28	Miodrag Milanovic	ignore not found private signals	blob \| commitdiff \| raw \| diff to current
2022-01-28	Miodrag Milanovic	recursive check	blob \| commitdiff \| raw \| diff to current
2022-01-28	Miodrag Milanovic	Do actual compare	blob \| commitdiff \| raw \| diff to current
2022-01-28	Miodrag Milanovic	Add more options and time handling	blob \| commitdiff \| raw \| diff to current
2022-01-26	Miodrag Milanovic	Display values of outputs	blob \| commitdiff \| raw \| diff to current
2022-01-26	Miodrag Milanovic	Check if stimulated	blob \| commitdiff \| raw \| diff to current
2022-01-26	Miodrag Milanovic	Read fst and use data to set inputs	blob \| commitdiff \| raw \| diff to current
2022-01-26	Miodrag Milanovic	Add ability to write to FST file	blob \| commitdiff \| raw \| diff to current
2021-07-28	Marcelina Kościelnicka	memory: Introduce $meminit_v2 cell, with EN input.	blob \| commitdiff \| raw \| diff to current
2021-06-09	Claire Xen	Merge pull request #2817 from YosysHQ/claire/fixemails	blob \| commitdiff \| raw \| diff to current
2021-06-07	Claire Xenia Wolf	Fixing old e-mail addresses and deadnames	blob \| commitdiff \| raw \| diff to current
2021-05-25	Marcelina Kościelnicka	sim: Add wide port support.	blob \| commitdiff \| raw \| diff to current
2021-05-22	Marcelina Kościelnicka	kernel/rtlil: Extract some helpers for checking memory...	blob \| commitdiff \| raw \| diff to current
2021-03-11	whitequark	Merge pull request #2642 from whitequark/cxxrtl-noproc...	blob \| commitdiff \| raw \| diff to current
next

RSS Atom