| CAPI=2: | |
| # Copyright lowRISC contributors. | |
| # Licensed under the Apache License, Version 2.0, see LICENSE for details. | |
| # SPDX-License-Identifier: Apache-2.0 | |
| name: "formal" | |
| description: "Core file for formal verification. It includes top_earlgrey and all | |
| other modules that are currently not instantiated in top_earlgrey" | |
| filesets: | |
| files_rtl_generic: | |
| depend: | |
| - lowrisc:fpv:prim_lfsr_fpv | |
| - lowrisc:ip:rv_timer | |
| - lowrisc:ip:hmac | |
| - lowrisc:systems:top_earlgrey | |
| - lowrisc:ip:usbuart | |
| - lowrisc:ip:usbdev | |
| - lowrisc:ip:usbfs_nb_pe | |
| - lowrisc:tlul:adapter_sram | |
| - lowrisc:tlul:socket_1n | |
| - lowrisc:tlul:socket_m1 | |
| targets: | |
| sim: | |
| default_tool: icarus | |
| filesets: | |
| - files_rtl_generic | |
| toplevel: top_earlgrey |