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

Subversion Repositories t6507lp

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

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 5568d 01h /t6507lp/trunk/fv/alu_chk.e
182 ALU e-language verification is complete. Results still unknown. creep 5568d 22h /t6507lp/trunk/fv/alu_chk.e
177 Extended checker. STA, SEC and SED included. creep 5569d 05h /t6507lp/trunk/fv/alu_chk.e
170 Decimal mode fixed. Just syncing both SVNs. creep 5570d 07h /t6507lp/trunk/fv/alu_chk.e
160 ROL is coded. ADC decimal mode is being re-checked. creep 5571d 04h /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 5574d 00h /t6507lp/trunk/fv/alu_chk.e
155 Fixing ticket 25, B flag. creep 5574d 06h /t6507lp/trunk/fv/alu_chk.e
153 Added a few more instructions to the checker. Removed prints to speed up Specman. creep 5575d 00h /t6507lp/trunk/fv/alu_chk.e
146 Fixed ticket #13: reset behavior in the FSM. creep 5575d 23h /t6507lp/trunk/fv/alu_chk.e
144 Checker is working fine. Hunting bugs... creep 5576d 01h /t6507lp/trunk/fv/alu_chk.e
143 Modified the inputs so the alu resets. creep 5576d 03h /t6507lp/trunk/fv/alu_chk.e
135 Added the ASL instructions to the checker. creep 5577d 03h /t6507lp/trunk/fv/alu_chk.e
134 Updated the checker, it is now always one cycle behind the bfm. creep 5578d 00h /t6507lp/trunk/fv/alu_chk.e
133 Checker updated. ADD's and AND's should be working fine. creep 5578d 01h /t6507lp/trunk/fv/alu_chk.e
132 Added a .e file containing the opcodes. Other files modified as well. Chebeing written. creep 5578d 02h /t6507lp/trunk/fv/alu_chk.e
131 Added a checker for i/o comparison. creep 5580d 22h /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.