mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-23 06:13:41 +00:00
Code Activity

Add UPF linking

Browse source
This commit is contained in:
Akash Levy 2024-10-16 20:00:46 -07:00
parent ae4fc61127
commit e4ddfed7a2
2 changed files with 12 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

11
Makefile
View file

@ -24,6 +24,7 @@ ENABLE_VERIFIC_HIER_TREE := 1
ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 0 ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 0
ENABLE_VERIFIC_EDIF := 0 ENABLE_VERIFIC_EDIF := 0
ENABLE_VERIFIC_LIBERTY := 0 ENABLE_VERIFIC_LIBERTY := 0
ENABLE_VERIFIC_UPF := 1
ENABLE_COVER := 1 ENABLE_COVER := 1
ENABLE_LIBYOSYS := 0 ENABLE_LIBYOSYS := 0
ENABLE_ZLIB := 1 ENABLE_ZLIB := 1
@ -48,6 +49,11 @@ DISABLE_SPAWN := 0
# Needed for environments that don't have proper thread support (i.e. emscripten, wasm--for now) # Needed for environments that don't have proper thread support (i.e. emscripten, wasm--for now)
DISABLE_ABC_THREADS := 0 DISABLE_ABC_THREADS := 0
# UPF requires TCL
ifeq ($(ENABLE_VERIFIC_UPF),1)
ENABLE_TCL := 1
endif
# clang sanitizers # clang sanitizers
SANITIZER = SANITIZER =
# SANITIZER = address # SANITIZER = address
@ -532,6 +538,11 @@ ifeq ($(ENABLE_VERIFIC_LIBERTY),1)
VERIFIC_COMPONENTS += synlib VERIFIC_COMPONENTS += synlib
CXXFLAGS += -DVERIFIC_LIBERTY_SUPPORT CXXFLAGS += -DVERIFIC_LIBERTY_SUPPORT
endif endif
ifeq ($(ENABLE_VERIFIC_UPF),1)
VERIFIC_COMPONENTS += hdl_file_sort verilog_nl
VERIFIC_COMPONENTS += commands upf
CXXFLAGS += -DVERIFIC_UPF_SUPPORT
endif
ifeq ($(ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS),1) ifeq ($(ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS),1)
VERIFIC_COMPONENTS += extensions VERIFIC_COMPONENTS += extensions
CXXFLAGS += -DYOSYSHQ_VERIFIC_EXTENSIONS CXXFLAGS += -DYOSYSHQ_VERIFIC_EXTENSIONS

2
verific

@ -1 +1 @@
Subproject commit daddc8a191f4206ab3a03faebbc0018828b18591 Subproject commit 6c424575286e66b434fab12663a627653e2c265e