mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-05 02:40:25 +00:00
Code Activity

Initial implementation of synthesizable assertions

Browse source
This commit is contained in:
Miodrag Milanovic 2022-12-19 08:54:47 +01:00
parent 4c334b905f
commit 131b557727
2 changed files with 231 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
passes/sat/Makefile.inc
View file

@ -19,3 +19,4 @@ OBJS += passes/sat/fminit.o
ifeq ($(DISABLE_SPAWN),0)
OBJS += passes/sat/qbfsat.o
endif
OBJS += passes/sat/synthprop.o