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

Subversion Repositories t6507lp

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

Rev

Go to most recent revision

Filtering Options

Clear current filter

Rev Log message Author Age Path
206 Adding .e files for fsm verification. creep 6066d 19h /t6507lp/trunk/fv/
185 Added the first coverage results to the repository. creep 6086d 13h /t6507lp/trunk/fv/
182 ALU e-language verification is complete. Results still unknown. creep 6087d 10h /t6507lp/trunk/fv/
180 Finally all opcodes are being tested. creep 6087d 14h /t6507lp/trunk/fv/
177 Extended checker. STA, SEC and SED included. creep 6087d 17h /t6507lp/trunk/fv/
170 Decimal mode fixed. Just syncing both SVNs. creep 6088d 19h /t6507lp/trunk/fv/
160 ROL is coded. ADC decimal mode is being re-checked. creep 6089d 16h /t6507lp/trunk/fv/
159 Checker was extended. All the instructions from A-P are verified. A few bugs were caught already. creep 6092d 12h /t6507lp/trunk/fv/
155 Fixing ticket 25, B flag. creep 6092d 18h /t6507lp/trunk/fv/
153 Added a few more instructions to the checker. Removed prints to speed up Specman. creep 6093d 12h /t6507lp/trunk/fv/
147 New SPEC version, revision 1.2.3 creep 6093d 15h /t6507lp/trunk/fv/
146 Fixed ticket #13: reset behavior in the FSM. creep 6094d 11h /t6507lp/trunk/fv/
144 Checker is working fine. Hunting bugs... creep 6094d 13h /t6507lp/trunk/fv/
143 Modified the inputs so the alu resets. creep 6094d 15h /t6507lp/trunk/fv/
135 Added the ASL instructions to the checker. creep 6095d 15h /t6507lp/trunk/fv/
134 Updated the checker, it is now always one cycle behind the bfm. creep 6096d 12h /t6507lp/trunk/fv/
133 Checker updated. ADD's and AND's should be working fine. creep 6096d 13h /t6507lp/trunk/fv/
132 Added a .e file containing the opcodes. Other files modified as well. Chebeing written. creep 6096d 14h /t6507lp/trunk/fv/
131 Added a checker for i/o comparison. creep 6099d 10h /t6507lp/trunk/fv/
130 Added alu_input.e to the repository. creep 6099d 13h /t6507lp/trunk/fv/
129 RTL and e files are truly linked now. Some very early coverage is done. creep 6099d 13h /t6507lp/trunk/fv/
126 Added a wrapper for the ALU. This file creates the clock for Specman. creep 6099d 18h /t6507lp/trunk/fv/
125 All files are linked to each other. RTL is still not linked through hdl_path() creep 6100d 10h /t6507lp/trunk/fv/
124 All signals are mapped on the BFM and MON using the SIG_MAP. creep 6100d 12h /t6507lp/trunk/fv/
123 Added all the eRM files. creep 6100d 13h /t6507lp/trunk/fv/
122 Adding alu_mon.e creep 6100d 13h /t6507lp/trunk/fv/
121 Adding formal verification folder. creep 6100d 13h /t6507lp/trunk/fv/

powered by: WebSVN 2.1.0

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