git.libre-soc.org Git - soc.git/summary

2022-11-15	Cesar Strauss	Keep the valid signal from the formal engine ALU stable... master	commit \| commitdiff \| tree
2022-10-28	Cesar Strauss	Check that exactly one ALU write is made, per instruction	commit \| commitdiff \| tree
2022-10-28	Cesar Strauss	Check cover and bmc in separate sub-tests	commit \| commitdiff \| tree
2022-10-26	Cesar Strauss	Reset req_l latch on system reset	commit \| commitdiff \| tree
2022-10-26	Cesar Strauss	Reset src_l latch on issue_i	commit \| commitdiff \| tree
2022-10-24	Luke Kenneth...	only NLnet sponsor	commit \| commitdiff \| tree
2022-10-16	Cesar Strauss	Move test to expose bug in MultiCompUnit	commit \| commitdiff \| tree
2022-10-12	Cesar Strauss	Check invariant for instruction operands	commit \| commitdiff \| tree
2022-10-12	Cesar Strauss	If the ALU is idle, do not assert valid	commit \| commitdiff \| tree
2022-10-09	Cesar Strauss	Count zero_a and imm_data.ok as masked read transactions	commit \| commitdiff \| tree
2022-10-09	Cesar Strauss	Don't issue while busy	commit \| commitdiff \| tree
2022-10-08	Cesar Strauss	Add count of masked reads	commit \| commitdiff \| tree
2022-10-08	Cesar Strauss	Add ALU read transaction counter	commit \| commitdiff \| tree
2022-10-08	Cesar Strauss	Add ALU write transaction counter	commit \| commitdiff \| tree
2022-10-08	Cesar Strauss	Add write transaction counter	commit \| commitdiff \| tree
2022-10-05	Cesar Strauss	Fix duplicate line (copy & paste error)	commit \| commitdiff \| tree
...