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

Subversion Repositories t6507lp

[/] [t6507lp/] [trunk/] [fv/] - Rev 156

Rev

Go to most recent revision

Filtering Options

Clear current filter

Rev Log message Author Age Path
155 Fixing ticket 25, B flag. creep 5584d 20h /t6507lp/trunk/fv/
153 Added a few more instructions to the checker. Removed prints to speed up Specman. creep 5585d 13h /t6507lp/trunk/fv/
147 New SPEC version, revision 1.2.3 creep 5585d 17h /t6507lp/trunk/fv/
146 Fixed ticket #13: reset behavior in the FSM. creep 5586d 12h /t6507lp/trunk/fv/
144 Checker is working fine. Hunting bugs... creep 5586d 15h /t6507lp/trunk/fv/
143 Modified the inputs so the alu resets. creep 5586d 16h /t6507lp/trunk/fv/
135 Added the ASL instructions to the checker. creep 5587d 16h /t6507lp/trunk/fv/
134 Updated the checker, it is now always one cycle behind the bfm. creep 5588d 13h /t6507lp/trunk/fv/
133 Checker updated. ADD's and AND's should be working fine. creep 5588d 14h /t6507lp/trunk/fv/
132 Added a .e file containing the opcodes. Other files modified as well. Chebeing written. creep 5588d 16h /t6507lp/trunk/fv/
131 Added a checker for i/o comparison. creep 5591d 12h /t6507lp/trunk/fv/
130 Added alu_input.e to the repository. creep 5591d 14h /t6507lp/trunk/fv/
129 RTL and e files are truly linked now. Some very early coverage is done. creep 5591d 14h /t6507lp/trunk/fv/
126 Added a wrapper for the ALU. This file creates the clock for Specman. creep 5591d 19h /t6507lp/trunk/fv/
125 All files are linked to each other. RTL is still not linked through hdl_path() creep 5592d 11h /t6507lp/trunk/fv/
124 All signals are mapped on the BFM and MON using the SIG_MAP. creep 5592d 14h /t6507lp/trunk/fv/
123 Added all the eRM files. creep 5592d 14h /t6507lp/trunk/fv/
122 Adding alu_mon.e creep 5592d 15h /t6507lp/trunk/fv/
121 Adding formal verification folder. creep 5592d 15h /t6507lp/trunk/fv/

powered by: WebSVN 2.1.0

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