flâneur

Command Reference - YosysHQ Yosys 0.68-dev documentation

yosyshq.readthedocs.io · 1,868 words · saved by 1 readers

Hide navigation sidebar Hide table of contents sidebar Skip to content Yosys (index) What is Yosys Getting started with Yosys Toggle navigation of Getting started with Yosys Using Yosys (advanced) Toggle navigation of Using Yosys (advanced) Yosys internals Toggle navigation of Yosys internals APPENDIX A primer on digital circuit synthesis RTLIL text representation Auxiliary libraries Auxiliary programs Literature references Internal cell library Toggle navigation of Internal cell library Command line reference Toggle navigation of Command line reference Toggle Light / Dark / Auto color theme Toggle table of contents sidebar Command Reference Command   Command abc use ABC for technology mapping abc9 use ABC9 for technology mapping abc9_exe use ABC9 for technology mapping abc9_ops helper functions for ABC9 abc_new (experimental) use ABC for SC technology mapping (new) abc_ops_reintegrate reintegrate ABC mapped design into module abstract replace signals with abstract values

Command abc use ABC for technology mapping abc9 use ABC9 for technology mapping abc9_exe use ABC9 for technology mapping abc9_ops helper functions for ABC9 abc_new (experimental) use ABC for SC technology mapping (new) abc_ops_reintegrate reintegrate ABC mapped design into module abstract replace signals with abstract values during formal verification add add objects to the design aigmap map logic to and-inverter-graph circuit alumacc extract ALU and MACC cells anlogic_eqn Anlogic: Calculate equations for luts anlogic_fixcarry Anlogic: fix carry chain arith_tree convert…

saved by

related reading