Skip to content

Commit

Permalink
licensing: use one line SPDX format in each file
Browse files Browse the repository at this point in the history
  • Loading branch information
stffrdhrn committed Jan 9, 2022
1 parent 6bc5bca commit c666fde
Show file tree
Hide file tree
Showing 48 changed files with 48 additions and 384 deletions.
9 changes: 1 addition & 8 deletions bench/formal/Makefile
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
###########################################################
# This source describes Open Hardware and is licensed under the CERN-OHLW v2
#
# You may redistribute and modify this documentation and make products
# using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
# This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
# WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
# AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
# for applicable conditions.
# SPDX-License-Identifier: CERN-OHL-W-2.0
#
# Description: Simplistic makefile for running formal tests
#
Expand Down
9 changes: 1 addition & 8 deletions bench/formal/f_multiclock_op.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: mor1kx formal multiclock alu operation checker
Expand Down
9 changes: 1 addition & 8 deletions bench/formal/fspr_master.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
***************************************************************************** */

module fspr_master
Expand Down
9 changes: 1 addition & 8 deletions bench/formal/fspr_slave.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
***************************************************************************** */

module fspr_slave
Expand Down
9 changes: 1 addition & 8 deletions bench/verilog/mor1kx_monitor.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: mor1kx monitor module
Expand Down
9 changes: 1 addition & 8 deletions bench/verilog/mor1kx_traceport_monitor.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
***************************************************************************** */

`include "mor1kx-defines.v"
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx-defines.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: mor1kx defines
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx-sprs.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: SPR definitions
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: mor1kx processor top level
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_branch_prediction.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: Branch prediction module
Generates a predicted flag output and compares that to the real flag
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_branch_predictor_gshare.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: gshare branch predictor
This predictor is based on array of FSMs with 4 states: strongly not taken,
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_branch_predictor_saturation_counter.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: Saturating counter branch predictor
This is FSM with 4 states: strongly not taken, weakly not taken,
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_branch_predictor_simple.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: Simple branch predictor implementation
We assume flag to be "true" if instruction is bf and it jumps backwords
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_bus_if_wb32.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: mor1kx processor Wishbone bus bridge
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_cache_lru.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: Data cache LRU implementation
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_cfgrs.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: mor1kx SPRs indicating configuration and version
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_cpu.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: CPU wrapper module
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_cpu_cappuccino.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: "Cappuccino" pipeline CPU module
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_cpu_espresso.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: Espresso pipeline CPU module
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_cpu_prontoespresso.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: "Pronto espresso" pipeline CPU module
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_ctrl_cappuccino.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: mor1kx control unit
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_ctrl_espresso.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: mor1kx espresso pipeline control unit
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_ctrl_prontoespresso.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: mor1kx pronto espresso pipeline control unit
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_dcache.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: Data cache implementation
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_decode.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: mor1kx decode unit
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_decode_execute_cappuccino.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: Cappuccino decode to execute module.
- Decode to execute stage signal passing.
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_dmmu.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: Data MMU implementation
Expand Down
9 changes: 1 addition & 8 deletions rtl/verilog/mor1kx_execute_alu.v
Original file line number Diff line number Diff line change
@@ -1,12 +1,5 @@
/* ****************************************************************************
This source describes Open Hardware and is licensed under the CERN-OHLW v2
You may redistribute and modify this documentation and make products
using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
for applicable conditions.
SPDX-License-Identifier: CERN-OHL-W-2.0
Description: mor1kx execute stage ALU
Expand Down
Loading

0 comments on commit c666fde

Please sign in to comment.