github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-01-21 02:18:17 +00:00
Code Issues Releases Wiki Activity
YosysHQ.yosys/backends
History
Eddie Hung dde3dfd72e Update backends/btor/btor.cc; credit @boqwxp 
Co-Authored-By: Alberto Gonzalez <61295559+boqwxp@users.noreply.github.com>
2020-04-02 07:14:08 -07:00
..
aiger
kernel: use more ID::*
2020-04-02 07:14:08 -07:00
blif
kernel: use more ID::*
2020-04-02 07:14:08 -07:00
btor
Update backends/btor/btor.cc; credit @boqwxp
2020-04-02 07:14:08 -07:00
edif
kernel: use more ID::*
2020-04-02 07:14:08 -07:00
firrtl
kernel: use more ID::*
2020-04-02 07:14:08 -07:00
ilang
Clean up pseudo-private member usage in backends/ilang/ilang_backend.cc.
2020-04-01 03:08:39 +00:00
intersynth
Clean up pseudo-private member usage in backends/intersynth/intersynth.cc.
2020-04-01 06:32:09 +00:00
json
json: Change compat mode to directly emit ints <= 32 bits
2020-02-09 01:01:18 -08:00
protobuf
Add aiger and protobuf backends binary support
2019-09-28 09:51:48 +02:00
simplec
kernel: use more ID::*
2020-04-02 07:14:08 -07:00
smt2
kernel: use more ID::*
2020-04-02 07:14:08 -07:00
smv
kernel: use more ID::*
2020-04-02 07:14:08 -07:00
spice
kernel: use more ID::*
2020-04-02 07:14:08 -07:00
table
Add "whitebox" attribute, add "read_verilog -wb"
2019-04-18 17:45:47 +02:00
verilog
kernel: use more ID::*
2020-04-02 07:14:08 -07:00