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

Subversion Repositories openmsp430

[/] [openmsp430/] [trunk/] [core/] [rtl/] [verilog/] - Rev 60

Rev

Go to most recent revision | Changes | View Log | RSS feed

Last modification

  • Rev 60 2010-02-03 21:12:25 GMT
  • Author: olivier.girard
  • Log message:
    Cleanup of the PC (R0) generation logic.
    Formal equivalence was shown between the new and old code with Synopsys' Formality (to make sure that nothing has been broken :-P ).
Path Last modification Log RSS feed
[FOLDER] openmsp430/ 60  5232d 16h olivier.girard View Log RSS feed
[NODE][FOLDER] branches/ 1  5450d 17h root View Log RSS feed
[NODE][FOLDER] tags/ 1  5450d 17h root View Log RSS feed
[NODE][FOLDER] trunk/ 60  5232d 16h olivier.girard View Log RSS feed
[NODE][NODE][FOLDER] core/ 60  5232d 16h olivier.girard View Log RSS feed
[NODE][NODE][NODE][FOLDER] bench/ 54  5239d 18h olivier.girard View Log RSS feed
[NODE][NODE][NODE][FOLDER] doc/ 2  5450d 15h olivier.girard View Log RSS feed
[NODE][NODE][NODE][FOLDER] rtl/ 60  5232d 16h olivier.girard View Log RSS feed
[NODE][NODE][NODE][NODE][FOLDER] verilog/ 60  5232d 16h olivier.girard View Log RSS feed
[NODE][NODE][NODE][NODE][NODE][FOLDER] periph/ 34  5268d 18h olivier.girard View Log RSS feed
[NODE][NODE][NODE][NODE][NODE][FILE] omsp_alu.v 34  5268d 18h olivier.girard View Log RSS feed
[NODE][NODE][NODE][NODE][NODE][FILE] omsp_clock_module.v 34  5268d 18h olivier.girard View Log RSS feed
[NODE][NODE][NODE][NODE][NODE][FILE] omsp_dbg.v 53  5239d 18h olivier.girard View Log RSS feed
[NODE][NODE][NODE][NODE][NODE][FILE] omsp_dbg_hwbrk.v 57  5234d 14h olivier.girard View Log RSS feed
[NODE][NODE][NODE][NODE][NODE][FILE] omsp_dbg_uart.v 34  5268d 18h olivier.girard View Log RSS feed
[NODE][NODE][NODE][NODE][NODE][FILE] omsp_execution_unit.v 34  5268d 18h olivier.girard View Log RSS feed
[NODE][NODE][NODE][NODE][NODE][FILE] omsp_frontend.v 60  5232d 16h olivier.girard View Log RSS feed
[NODE][NODE][NODE][NODE][NODE][FILE] omsp_mem_backbone.v 34  5268d 18h olivier.girard View Log RSS feed
[NODE][NODE][NODE][NODE][NODE][FILE] omsp_register_file.v 34  5268d 18h olivier.girard View Log RSS feed
[NODE][NODE][NODE][NODE][NODE][FILE] omsp_sfr.v 34  5268d 18h olivier.girard View Log RSS feed
[NODE][NODE][NODE][NODE][NODE][FILE] omsp_watchdog.v 34  5268d 18h olivier.girard View Log RSS feed
[NODE][NODE][NODE][NODE][NODE][FILE] openMSP430.v 53  5239d 18h olivier.girard View Log RSS feed
[NODE][NODE][NODE][NODE][NODE][FILE] openMSP430_defines.v 57  5234d 14h olivier.girard View Log RSS feed
[NODE][NODE][NODE][NODE][NODE][FILE] openMSP430_undefines.v 57  5234d 14h olivier.girard View Log RSS feed
[NODE][NODE][NODE][NODE][NODE][FILE] timescale.v 23  5389d 20h olivier.girard View Log RSS feed
[NODE][NODE][NODE][FOLDER] sim/ 58  5234d 14h olivier.girard View Log RSS feed
[NODE][NODE][NODE][FOLDER] synthesis/ 56  5238d 21h olivier.girard View Log RSS feed
[NODE][NODE][FOLDER] doc/ 58  5234d 14h olivier.girard View Log RSS feed
[NODE][NODE][FOLDER] fpga/ 59  5234d 14h olivier.girard View Log RSS feed
[NODE][NODE][FOLDER] tools/ 35  5268d 17h olivier.girard View Log RSS feed

powered by: WebSVN 2.1.0

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