Jannis Harder 930bcf0e75 smt2, btor: Revert calling memory_map -rom-only ... This approach had major issues with ROMs whose initialization was not fully defined. If required, memory_map -rom-only -keepdc should be called early in a formal flow instead. (This does require a careful choice of optimization passes though. Sby's scripts will be updated accordingly.)		2022-06-29 18:28:34 +02:00
..
aiger	Add -no-startoffset option to write_aiger	2022-03-25 08:44:45 +01:00
blif	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
btor	smt2, btor: Revert calling memory_map -rom-only	2022-06-29 18:28:34 +02:00
cxxrtl	Add $bmux and $demux cells.	2022-01-28 23:34:41 +01:00
edif	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
firrtl	Use proper operator	2022-05-27 10:23:34 +02:00
intersynth	Intersynth URL	2021-06-09 12:42:52 +02:00
jny	pass jny: flipped the defaults for the inclusion of various bits of metadata	2022-04-08 08:05:15 +02:00
json	Merge pull request #3210 from rqou/json-signed	2022-03-07 09:41:25 +01:00
protobuf	Fix protobuf backend build dependencies	2021-09-17 13:36:39 +10:00
rtlil	rtlil: Dump empty connections when whole module is selected.	2021-12-12 01:22:06 +01:00
simplec	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
smt2	smt2, btor: Revert calling memory_map -rom-only	2022-06-29 18:28:34 +02:00
smv	Add $bmux and $demux cells.	2022-01-28 23:34:41 +01:00
spice	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
table	Fixing old e-mail addresses and deadnames	2021-06-08 00:39:36 +02:00
verilog	verilog backend: Emit a `wire` for ports as well.	2022-01-31 01:08:41 +01:00