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

Subversion Repositories t6507lp

[/] [t6507lp/] [trunk/] [fv/] [alu_chk.e] - Rev 224

Rev

Go to most recent revision | Details | Compare with Previous | Blame

Filtering Options

Clear current filter

Rev Log message Author Age Path
185 Added the first coverage results to the repository. creep 5695d 17h /t6507lp/trunk/fv/alu_chk.e
182 ALU e-language verification is complete. Results still unknown. creep 5696d 14h /t6507lp/trunk/fv/alu_chk.e
177 Extended checker. STA, SEC and SED included. creep 5696d 21h /t6507lp/trunk/fv/alu_chk.e
170 Decimal mode fixed. Just syncing both SVNs. creep 5697d 23h /t6507lp/trunk/fv/alu_chk.e
160 ROL is coded. ADC decimal mode is being re-checked. creep 5698d 20h /t6507lp/trunk/fv/alu_chk.e
159 Checker was extended. All the instructions from A-P are verified. A few bugs were caught already. creep 5701d 15h /t6507lp/trunk/fv/alu_chk.e
155 Fixing ticket 25, B flag. creep 5701d 22h /t6507lp/trunk/fv/alu_chk.e
153 Added a few more instructions to the checker. Removed prints to speed up Specman. creep 5702d 16h /t6507lp/trunk/fv/alu_chk.e
146 Fixed ticket #13: reset behavior in the FSM. creep 5703d 14h /t6507lp/trunk/fv/alu_chk.e
144 Checker is working fine. Hunting bugs... creep 5703d 17h /t6507lp/trunk/fv/alu_chk.e
143 Modified the inputs so the alu resets. creep 5703d 18h /t6507lp/trunk/fv/alu_chk.e
135 Added the ASL instructions to the checker. creep 5704d 19h /t6507lp/trunk/fv/alu_chk.e
134 Updated the checker, it is now always one cycle behind the bfm. creep 5705d 15h /t6507lp/trunk/fv/alu_chk.e
133 Checker updated. ADD's and AND's should be working fine. creep 5705d 17h /t6507lp/trunk/fv/alu_chk.e
132 Added a .e file containing the opcodes. Other files modified as well. Chebeing written. creep 5705d 18h /t6507lp/trunk/fv/alu_chk.e
131 Added a checker for i/o comparison. creep 5708d 14h /t6507lp/trunk/fv/alu_chk.e

powered by: WebSVN 2.1.0

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