CAPI=2: | |
# Copyright lowRISC contributors. | |
# Licensed under the Apache License, Version 2.0, see LICENSE for details. | |
# SPDX-License-Identifier: Apache-2.0 | |
name: "lowrisc:ip:sha3:0.1" | |
description: "SHA3 core" | |
filesets: | |
files_rtl: | |
depend: | |
- lowrisc:prim:all | |
- lowrisc:prim:prim_dom_and_2share | |
- lowrisc:prim:assert | |
- lowrisc:ip:tlul | |
files: | |
- rtl/sha3_pkg.sv | |
- rtl/keccak_round.sv | |
- rtl/keccak_2share.sv | |
- rtl/sha3pad.sv | |
- rtl/sha3.sv | |
file_type: systemVerilogSource | |
files_verilator_waiver: | |
depend: | |
# common waivers | |
- lowrisc:lint:common | |
files: | |
- lint/sha3.vlt | |
file_type: vlt | |
files_ascentlint_waiver: | |
depend: | |
# common waivers | |
- lowrisc:lint:common | |
files: | |
- lint/sha3.waiver | |
file_type: waiver | |
files_veriblelint_waiver: | |
depend: | |
# common waivers | |
- lowrisc:lint:common | |
- lowrisc:lint:comportable | |
parameters: | |
SYNTHESIS: | |
datatype: bool | |
paramtype: vlogdefine | |
targets: | |
default: &default_target | |
filesets: | |
- tool_verilator ? (files_verilator_waiver) | |
- tool_ascentlint ? (files_ascentlint_waiver) | |
- tool_veriblelint ? (files_veriblelint_waiver) | |
- files_rtl | |
toplevel: sha3 | |
formal: | |
filesets: | |
- files_rtl | |
toplevel: sha3 | |
lint: | |
<<: *default_target | |
default_tool: verilator | |
parameters: | |
- SYNTHESIS=true | |
tools: | |
verilator: | |
mode: lint-only | |
verilator_options: | |
- "-Wall" |