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

Subversion Repositories wb2axip

[/] [wb2axip/] [trunk/] [bench/] - Rev 18

Rev	Log message	Author	Age	Path
18	Updated svn:ignore properties	dgisselq	1886d 09h	/wb2axip/trunk/bench/
17	Updating svn:ignore properties	dgisselq	1886d 09h	/wb2axip/trunk/bench/
16	Lots of updates (see below) New files: 1. AXI-lite formal checker(s) 2. AXI-lite to WB bridge 3. WB to AXI-lite bridge 4. WB cross bar (for lack of a better place) 5. Demonstration/example AXI-lite core Other files have been updated as necessary. Ex. the WB formal checker files.	dgisselq	1889d 19h	/wb2axip/trunk/bench/
11	Updated the bench/formal properties SVN will now ignore the build files associated with this directory: .smt2, .yslog, *.vcd	dgisselq	2359d 23h	/wb2axip/trunk/bench/
10	Added files to flush out the formal proof capability	dgisselq	2360d 00h	/wb2axip/trunk/bench/
9	Added a formal directory	dgisselq	2360d 00h	/wb2axip/trunk/bench/
8	The WB to AXI translator wrks and works well. A proof of this will be added shortly.	dgisselq	2360d 00h	/wb2axip/trunk/bench/
2	Initial check in. Core not (yet) tested, verified, or validated.	dgisselq	2809d 17h	/wb2axip/trunk/bench/