URL https://opencores.org/ocsvn/wbddr3/wbddr3/trunk

Subversion Repositories wbddr3

[/] [wbddr3/] [trunk/] [bench/] [cpp/] [Makefile] - Rev 21

Rev	Log message	Author	Age	Path
21	Added formal verification properties This core now passes formal verification.	dgisselq	1920d 08h	/wbddr3/trunk/bench/cpp/Makefile
20	Made the bench/cpp Makefile independent of the Verilator root	dgisselq	2959d 22h	/wbddr3/trunk/bench/cpp/Makefile
16	New, modified code, now works in simulation!!	dgisselq	3018d 22h	/wbddr3/trunk/bench/cpp/Makefile
13	Cleanup, bug fixes--sadly, the code no longer works, so while it's "better" in that it can build at 200MHz, it no longer works in the Verilator simulation.	dgisselq	3035d 18h	/wbddr3/trunk/bench/cpp/Makefile
4	Work continues. A preliminary test-bench has been created. The core has yet to pass through the reset cycle yet, so there's a lot of work still to be done.	dgisselq	3040d 17h	/wbddr3/trunk/bench/cpp/Makefile