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

Subversion Repositories wb2axip

[/] [wb2axip/] [trunk/] [bench/] [formal] - Rev 17

Rev

Details | Compare with Previous | Blame

Filtering Options

Clear current filter

Rev Log message Author Age Path
17 Updating svn:ignore properties dgisselq 1915d 20h /wb2axip/trunk/bench/formal
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 1919d 06h /wb2axip/trunk/bench/formal
11 Updated the bench/formal properties

SVN will now ignore the build files associated with this directory: *.smt2,
*.yslog, *.vcd
dgisselq 2389d 10h /wb2axip/trunk/bench/formal
10 Added files to flush out the formal proof capability dgisselq 2389d 10h /wb2axip/trunk/bench/formal
9 Added a formal directory dgisselq 2389d 10h /wb2axip/trunk/bench/formal

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.