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

Subversion Repositories t6507lp

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

Rev

Go to most recent revision

Filtering Options

Clear current filter

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

powered by: WebSVN 2.1.0

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