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

Subversion Repositories t6507lp

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

Rev

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

Filtering Options

Clear current filter

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

powered by: WebSVN 2.1.0

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