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

2022-03-16	Miodrag Milanovic	Recognize registers and set initial state for them...	commit \| commitdiff \| tree
2022-03-16	Miodrag Milanovic	Update sim help message.	commit \| commitdiff \| tree
2022-03-14	Miodrag Milanović	Merge pull request #3232 from YosysHQ/micko/fst2tb	commit \| commitdiff \| tree
2022-03-14	Miodrag Milanovic	Added fst2tb pass for generating testbench	commit \| commitdiff \| tree
2022-03-14	Miodrag Milanovic	Proper example code	commit \| commitdiff \| tree
2022-03-11	Miodrag Milanović	Merge pull request #3229 from YosysHQ/micko/sim_date	commit \| commitdiff \| tree
2022-03-11	Miodrag Milanović	Merge pull request #3222 from zachjs/prune-linux-ci	commit \| commitdiff \| tree
2022-03-11	Miodrag Milanović	Merge pull request #3228 from YosysHQ/micko/disable_tests	commit \| commitdiff \| tree
2022-03-11	Miodrag Milanovic	Add date parameter to enable full date/time and version...	commit \| commitdiff \| tree
2022-03-11	Miodrag Milanović	Merge pull request #3226 from YosysHQ/micko/btor2witness	commit \| commitdiff \| tree
2022-03-11	Miodrag Milanovic	FstData already do conversion to VCD	commit \| commitdiff \| tree
2022-03-11	Miodrag Milanovic	Support cell name in btor witness file	commit \| commitdiff \| tree
2022-03-11	Miodrag Milanovic	handle state names of $anyconst and $anyseq	commit \| commitdiff \| tree
2022-03-11	Miodrag Milanovic	Proper write of memory data	commit \| commitdiff \| tree
2022-03-10	Miodrag Milanovic	Disable tests on most of platforms	commit \| commitdiff \| tree
2022-03-09	Miodrag Milanovic	Start work on memory init	commit \| commitdiff \| tree
2022-03-09	Miodrag Milanovic	Fixes and error check	commit \| commitdiff \| tree
2022-03-07	Miodrag Milanovic	cleanup	commit \| commitdiff \| tree
2022-03-07	Miodrag Milanovic	Error checks for aiger witness	commit \| commitdiff \| tree
2022-03-07	Miodrag Milanovic	btor2 witness co-simulation	commit \| commitdiff \| tree
2022-03-07	Miodrag Milanović	Merge pull request #3210 from rqou/json-signed	commit \| commitdiff \| tree
2022-03-04	Miodrag Milanović	Merge pull request #3186 from nakengelhardt/smtbmc_sby_print_id	commit \| commitdiff \| tree
2022-03-04	Miodrag Milanović	Merge pull request #3206 from YosysHQ/micko/quote_remove	commit \| commitdiff \| tree
2022-03-04	Miodrag Milanović	Merge pull request #3207 from nakengelhardt/json_escape_quotes	commit \| commitdiff \| tree
2022-03-04	Miodrag Milanovic	Next dev cycle	commit \| commitdiff \| tree
2022-03-04	Miodrag Milanovic	Release version 0.15	commit \| commitdiff \| tree
2022-03-04	Miodrag Milanovic	Update ABC	commit \| commitdiff \| tree
2022-03-04	Miodrag Milanovic	Update documentation	commit \| commitdiff \| tree
2022-03-04	Miodrag Milanović	Merge pull request #3219 from YosysHQ/micko/quick_vcd	commit \| commitdiff \| tree
2022-03-04	Miodrag Milanović	Merge pull request #3220 from YosysHQ/claire/simstuff	commit \| commitdiff \| tree
2022-03-02	Miodrag Milanovic	Add option to ignore X only signals in output	commit \| commitdiff \| tree
2022-03-02	Miodrag Milanovic	Write simulation files after simulation is performed	commit \| commitdiff \| tree
2022-03-02	Miodrag Milanovic	Update CHANGELOG	commit \| commitdiff \| tree
2022-03-02	Miodrag Milanovic	Cleanup	commit \| commitdiff \| tree
2022-02-28	Miodrag Milanovic	Refactor sim output writers	commit \| commitdiff \| tree
2022-02-28	Miodrag Milanovic	Quick fix	commit \| commitdiff \| tree
2022-02-28	Miodrag Milanovic	VCD reader support by using external tool	commit \| commitdiff \| tree
2022-02-28	Miodrag Milanović	Merge pull request #3216 from YosysHQ/claire/simstuff	commit \| commitdiff \| tree
2022-02-27	Miodrag Milanovic	Support extended aiw format	commit \| commitdiff \| tree
2022-02-25	Miodrag Milanovic	Fix for last clock edge data	commit \| commitdiff \| tree
2022-02-21	Miodrag Milanović	Merge pull request #3203 from YosysHQ/micko/sim_ff	commit \| commitdiff \| tree
2022-02-21	Miodrag Milanovic	Fix handling of ce_over_srst	commit \| commitdiff \| tree
2022-02-18	Miodrag Milanovic	Changed error message	commit \| commitdiff \| tree
2022-02-18	Miodrag Milanovic	Added AIGER witness file co simulation	commit \| commitdiff \| tree
2022-02-18	Miodrag Milanovic	simplify logic of handling flip-flops and latches	commit \| commitdiff \| tree
2022-02-17	Miodrag Milanovic	Review cleanup	commit \| commitdiff \| tree
2022-02-16	Miodrag Milanovic	Remove quotes if any from attribute	commit \| commitdiff \| tree
2022-02-16	Miodrag Milanovic	test dlatchsr and adlatch	commit \| commitdiff \| tree
2022-02-16	Miodrag Milanovic	Added test cases	commit \| commitdiff \| tree
2022-02-16	Miodrag Milanovic	Add support for various ff/latch cells simulation	commit \| commitdiff \| tree
2022-02-15	Miodrag Milanović	Merge pull request #3204 from YosysHQ/claire/update-abc	commit \| commitdiff \| tree
2022-02-15	Miodrag Milanovic	Bump ABC version	commit \| commitdiff \| tree
2022-02-11	Miodrag Milanović	Merge pull request #3164 from zachjs/fix-ast-warn	commit \| commitdiff \| tree
2022-02-09	Miodrag Milanović	Merge pull request #3193 from YosysHQ/micko/verific_f	commit \| commitdiff \| tree
2022-02-09	Miodrag Milanovic	Add ability to override verilog mode for verific -f...	commit \| commitdiff \| tree
2022-02-07	Miodrag Milanovic	Next dev cycle	commit \| commitdiff \| tree
2022-02-07	Miodrag Milanovic	Release version 0.14	commit \| commitdiff \| tree
2022-02-07	Miodrag Milanovic	Update CHANGELOG and manual	commit \| commitdiff \| tree
2022-02-07	Miodrag Milanović	Merge pull request #3185 from YosysHQ/micko/co_sim	commit \| commitdiff \| tree
2022-02-04	Miodrag Milanovic	Error detection for co-simulation	commit \| commitdiff \| tree
2022-02-04	Miodrag Milanovic	bug fix and cleanups	commit \| commitdiff \| tree
2022-02-02	Miodrag Milanović	Merge pull request #3183 from YosysHQ/micko/nto1mux	commit \| commitdiff \| tree
2022-02-02	Miodrag Milanovic	Use bmux for NTO1MUX	commit \| commitdiff \| tree
2022-02-02	Miodrag Milanovic	Add test cases for co-simulation	commit \| commitdiff \| tree
2022-02-02	Miodrag Milanović	Merge pull request #3182 from yrabbit/wip-doc2	commit \| commitdiff \| tree
2022-02-02	Miodrag Milanovic	Fix Visual Studio build	commit \| commitdiff \| tree
2022-02-02	Miodrag Milanovic	respect hide_internal flag	commit \| commitdiff \| tree
2022-02-02	Miodrag Milanovic	unify cycles counting and cleanup	commit \| commitdiff \| tree
2022-02-02	Miodrag Milanovic	added stimulus mode and param check	commit \| commitdiff \| tree
2022-01-31	Miodrag Milanovic	error when no signal found	commit \| commitdiff \| tree
2022-01-31	Miodrag Milanović	Merge pull request #3176 from higuoxing/fix-ref-manual	commit \| commitdiff \| tree
2022-01-31	Miodrag Milanovic	Cleanup	commit \| commitdiff \| tree
2022-01-31	Miodrag Milanovic	Compare bits when not all are defined	commit \| commitdiff \| tree
2022-01-31	Miodrag Milanovic	Cleanup	commit \| commitdiff \| tree
2022-01-31	Miodrag Milanovic	message update	commit \| commitdiff \| tree
2022-01-31	Miodrag Milanovic	Display simulation time data	commit \| commitdiff \| tree
2022-01-31	Miodrag Milanovic	Use edges when explicit	commit \| commitdiff \| tree
2022-01-31	Miodrag Milanovic	Updating initial state and checks	commit \| commitdiff \| tree
2022-01-31	Miodrag Milanovic	Fix scope	commit \| commitdiff \| tree
2022-01-28	Miodrag Milanovic	check if stop before start	commit \| commitdiff \| tree
2022-01-28	Miodrag Milanovic	set initial state, only flip-flops	commit \| commitdiff \| tree
2022-01-28	Miodrag Milanovic	ignore not found private signals	commit \| commitdiff \| tree
2022-01-28	Miodrag Milanovic	preserve VCD mangled names	commit \| commitdiff \| tree
2022-01-28	Miodrag Milanovic	detect edges even when x	commit \| commitdiff \| tree
2022-01-28	Miodrag Milanovic	recursive check	commit \| commitdiff \| tree
2022-01-28	Miodrag Milanovic	cleanup	commit \| commitdiff \| tree
2022-01-28	Miodrag Milanovic	Do actual compare	commit \| commitdiff \| tree
2022-01-28	Miodrag Milanovic	Fix for limit_range_end when not writing vcd	commit \| commitdiff \| tree
2022-01-28	Miodrag Milanovic	Add more options and time handling	commit \| commitdiff \| tree
2022-01-26	Miodrag Milanović	change to windows-2019	commit \| commitdiff \| tree
2022-01-26	Miodrag Milanovic	update version	commit \| commitdiff \| tree
2022-01-26	Miodrag Milanovic	Display values of outputs	commit \| commitdiff \| tree
2022-01-26	Miodrag Milanovic	Fix tabs/spaces	commit \| commitdiff \| tree
2022-01-26	Miodrag Milanovic	Check if stimulated	commit \| commitdiff \| tree
2022-01-26	Miodrag Milanovic	Read fst and use data to set inputs	commit \| commitdiff \| tree
2022-01-26	Miodrag Milanovic	Add fstdata helper class	commit \| commitdiff \| tree
2022-01-26	Miodrag Milanovic	Cleanup of config to support platforms	commit \| commitdiff \| tree
2022-01-26	Miodrag Milanovic	Add ability to write to FST file	commit \| commitdiff \| tree
2022-01-25	Miodrag Milanovic	Add FST library	commit \| commitdiff \| tree
2022-01-19	Miodrag Milanovic	Removed dbits 8 since 9 will always be picked	commit \| commitdiff \| tree
next

RSS Atom