stv0g
/
yosys
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
master
yosys-0.2.0
yosys-0.3.0
yosys-0.4
yosys-0.5
yosys-0.6
yosys-0.7
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
yosys/backends
History
Clifford Wolf 18ea65ef04 Add "yosys-smtbmc --aig <aim_filename>:<aiw_filename>" support 7 years ago
..
aiger Added $anyconst support to AIGER back-end 7 years ago
blif Added wire start_offset and upto handling BLIF back-end 7 years ago
btor Added "yosys -D" feature 8 years ago
edif Added "yosys -D" feature 8 years ago
firrtl Bugfix: include assign to write-mask 7 years ago
ilang Added avail params to ilang format, check module params in 'hierarchy -check' 7 years ago
intersynth Added "yosys -D" feature 8 years ago
json Improved write_json help message 7 years ago
smt2 Add "yosys-smtbmc --aig <aim_filename>:<aiw_filename>" support 7 years ago
smv Added "yosys -D" feature 8 years ago
spice Also escape "=" in spice output 7 years ago
verilog Cleanups and fixed in write_verilog regarding reg init 7 years ago