3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-22 00:26:40 +00:00
yosys/backends
2024-07-29 16:38:32 +02:00
..
aiger write_aiger: Include $assert and $assume cells in -ywmap output 2024-03-04 16:53:03 +01:00
blif const: represent string constants as string, assert not accessed as bits 2024-07-29 16:38:32 +02:00
btor const: represent string constants as string, assert not accessed as bits 2024-07-29 16:38:32 +02:00
cxxrtl const: represent string constants as string, assert not accessed as bits 2024-07-29 16:38:32 +02:00
edif const: represent string constants as string, assert not accessed as bits 2024-07-29 16:38:32 +02:00
firrtl const: represent string constants as string, assert not accessed as bits 2024-07-29 16:38:32 +02:00
intersynth const: represent string constants as string, assert not accessed as bits 2024-07-29 16:38:32 +02:00
jny const: represent string constants as string, assert not accessed as bits 2024-07-29 16:38:32 +02:00
json Ignore $scopeinfo in write_json 2024-02-06 17:51:29 +01:00
rtlil const: represent string constants as string, assert not accessed as bits 2024-07-29 16:38:32 +02:00
simplec const: represent string constants as string, assert not accessed as bits 2024-07-29 16:38:32 +02:00
smt2 const: represent string constants as string, assert not accessed as bits 2024-07-29 16:38:32 +02:00
smv Ignore $scopeinfo in write_smv 2024-02-06 17:51:29 +01:00
spice Ignore $scopeinfo in write_spice 2024-02-06 17:51:29 +01:00
table Fixing old e-mail addresses and deadnames 2021-06-08 00:39:36 +02:00
verilog const: represent string constants as string, assert not accessed as bits 2024-07-29 16:38:32 +02:00