mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-19 20:33:39 +00:00
Code Activity

Update Verific, add to gitmodules, remove unused/GPL features from Makefile

Browse source
This commit is contained in:
akash 2024-04-08 12:36:08 -07:00
parent e3f633fae6
commit 840cdb415b
4 changed files with 12 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

3
.gitmodules vendored Normal file
View file

@ -0,0 +1,3 @@
[submodule "verific"]
path = verific
url = git@github.com:silimate/verific.git

14
Makefile
View file

@ -9,20 +9,20 @@ CONFIG := none
# CONFIG := msys2-64 # CONFIG := msys2-64
# features (the more the better) # features (the more the better)
ENABLE_TCL := 1 ENABLE_TCL := 0
ENABLE_ABC := 1 ENABLE_ABC := 1
ENABLE_GLOB := 1 ENABLE_GLOB := 1
ENABLE_PLUGINS := 1 ENABLE_PLUGINS := 1
ENABLE_READLINE := 1 ENABLE_READLINE := 0
ENABLE_EDITLINE := 0 ENABLE_EDITLINE := 0
ENABLE_GHDL := 0 ENABLE_GHDL := 0
ENABLE_VERIFIC := 1 ENABLE_VERIFIC := 1
ENABLE_VERIFIC_EDIF := 1 ENABLE_VERIFIC_EDIF := 0
ENABLE_VERIFIC_LIBERTY := 1 ENABLE_VERIFIC_LIBERTY := 1
DISABLE_VERIFIC_EXTENSIONS := 1 DISABLE_VERIFIC_EXTENSIONS := 1
DISABLE_VERIFIC_VHDL := 1 DISABLE_VERIFIC_VHDL := 1
ENABLE_COVER := 1 ENABLE_COVER := 0
ENABLE_LIBYOSYS := 1 ENABLE_LIBYOSYS := 0
ENABLE_ZLIB := 1 ENABLE_ZLIB := 1
# python wrappers # python wrappers
@ -518,8 +518,8 @@ endif
LIBS_VERIFIC = LIBS_VERIFIC =
ifeq ($(ENABLE_VERIFIC),1) ifeq ($(ENABLE_VERIFIC),1)
VERIFIC_DIR ?= /usr/local/src/verific_lib VERIFIC_DIR ?= ./verific
VERIFIC_COMPONENTS ?= verilog database util containers hier_tree sdf VERIFIC_COMPONENTS ?= verilog database util containers hier_tree
ifneq ($(DISABLE_VERIFIC_VHDL),1) ifneq ($(DISABLE_VERIFIC_VHDL),1)
VERIFIC_COMPONENTS += vhdl VERIFIC_COMPONENTS += vhdl
CXXFLAGS += -DVERIFIC_VHDL_SUPPORT CXXFLAGS += -DVERIFIC_VHDL_SUPPORT

2
frontends/verific/verific.cc
View file

@ -101,7 +101,7 @@ vector<string> verific_incdirs, verific_libdirs, verific_libexts;
void msg_func(msg_type_t msg_type, const char *message_id, linefile_type linefile, const char *msg, va_list args) void msg_func(msg_type_t msg_type, const char *message_id, linefile_type linefile, const char *msg, va_list args)
{ {
string message_prefix = stringf("VERIFIC-%s [%s] ", string message_prefix = stringf("ELAB-%s [%s] ",
msg_type == VERIFIC_NONE ? "NONE" : msg_type == VERIFIC_NONE ? "NONE" :
msg_type == VERIFIC_ERROR ? "ERROR" : msg_type == VERIFIC_ERROR ? "ERROR" :
msg_type == VERIFIC_WARNING ? "WARNING" : msg_type == VERIFIC_WARNING ? "WARNING" :

1
verific Submodule

@ -0,0 +1 @@
Subproject commit 62f92c82cc8338482e5739a458ae4b1aac28b6ce