| .. |
|
binding.cc
|
|
|
|
binding.h
|
|
|
|
bitpattern.h
|
|
|
|
calc.cc
|
|
|
|
cellaigs.cc
|
cellaigs: Drop initializer list in call to IdString::in
|
2023-08-14 11:42:19 +02:00 |
|
cellaigs.h
|
|
|
|
celledges.cc
|
|
|
|
celledges.h
|
|
|
|
celltypes.h
|
Add builtin celltype $scopeinfo
|
2024-02-06 17:51:24 +01:00 |
|
consteval.h
|
|
|
|
constids.inc
|
Add new $check cell to represent assertions with a message.
|
2024-02-01 20:10:39 +01:00 |
|
cost.h
|
|
|
|
driver.cc
|
driver: Fix crashes on missing cli arguments
|
2024-02-12 14:56:23 +01:00 |
|
ff.cc
|
|
|
|
ff.h
|
|
|
|
ffinit.h
|
|
|
|
ffmerge.cc
|
|
|
|
ffmerge.h
|
|
|
|
fmt.cc
|
fmt: rename TIME to VLOG_TIME.
|
2024-01-19 15:12:05 +00:00 |
|
fmt.h
|
fmt: rename TIME to VLOG_TIME.
|
2024-01-19 15:12:05 +00:00 |
|
fstdata.cc
|
Fixes for some of clang scan-build detected issues
|
2023-01-17 12:58:08 +01:00 |
|
fstdata.h
|
|
|
|
hashlib.h
|
hashlib: Add missing stdint.h include
|
2024-02-08 14:27:12 +00:00 |
|
json.cc
|
Support for BTOR witness to Yosys witness conversion
|
2023-01-11 18:07:16 +01:00 |
|
json.h
|
Support for BTOR witness to Yosys witness conversion
|
2023-01-11 18:07:16 +01:00 |
|
log.cc
|
change verific log callback api
|
2023-11-01 08:13:27 +01:00 |
|
log.h
|
change verific log callback api
|
2023-11-01 08:13:27 +01:00 |
|
macc.h
|
|
|
|
mem.cc
|
mem: only import attributes from ports if the memory doesn't have them yet
|
2023-10-30 16:31:53 +01:00 |
|
mem.h
|
|
|
|
modtools.h
|
remove template declaration that stops function from being used
|
2023-01-11 16:09:05 +01:00 |
|
qcsat.cc
|
|
|
|
qcsat.h
|
|
|
|
register.cc
|
Add API to overwrite existing pass from plugin
|
2024-01-30 17:51:11 +01:00 |
|
register.h
|
Add API to overwrite existing pass from plugin
|
2024-01-30 17:51:11 +01:00 |
|
rtlil.cc
|
Add builtin celltype $scopeinfo
|
2024-02-06 17:51:24 +01:00 |
|
rtlil.h
|
rtlil: Fix handling of connections on wire deletion
|
2024-01-29 11:25:54 +01:00 |
|
satgen.cc
|
Add builtin celltype $scopeinfo
|
2024-02-06 17:51:24 +01:00 |
|
satgen.h
|
|
|
|
scopeinfo.cc
|
Add scopeinfo index/lookup utils
|
2024-02-06 18:01:26 +01:00 |
|
scopeinfo.h
|
Add scopeinfo index/lookup utils
|
2024-02-06 18:01:26 +01:00 |
|
sigtools.h
|
|
|
|
timinginfo.h
|
|
|
|
utils.h
|
Get rid of double lookup in TopoSort::node(). This speeds up typical TopoSort time overall by ~10%.
|
2023-10-06 12:53:05 -07:00 |
|
yosys.cc
|
chore: use similar variable/function names
|
2024-02-02 01:25:58 +03:00 |
|
yosys.h
|
chore: use similar variable/function names
|
2024-02-02 01:25:58 +03:00 |
|
yw.cc
|
Remove a statement without effect.
|
2023-04-17 10:53:05 -07:00 |
|
yw.h
|
sim/formalff: Clock handling for yw cosim
|
2023-01-11 18:07:16 +01:00 |
