From 09bd82db217d27930d1eeec8d0dfd1e014c675b4 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 8 Dec 2013 15:42:27 +0100 Subject: [PATCH] Fixes and other changes in README --- README | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/README b/README index 650095472..2bcbb325f 100644 --- a/README +++ b/README @@ -137,7 +137,7 @@ write design netlist to a new verilog file: yosys> write_verilog synth.v -a simmilar synthesis can be performed using yosys command line options only: +a similar synthesis can be performed using yosys command line options only: $ ./yosys -o synth.v -p proc -p opt -p techmap -p opt tests/simple/fiedler-cooley.v @@ -172,9 +172,9 @@ The following synthesis script works reasonable for all designs: # convert to gate logic techmap; opt -If ABC (http://www.eecs.berkeley.edu/~alanmi/abc/) is installed and -a cell library is given in the liberty file mycells.lib, the following -synthesis script will synthesize for the given cell library: +If ABC is enabled in the Yosys build configuration and a cell library is given +in the liberty file mycells.lib, the following synthesis script will synthesize +for the given cell library: # the high-level stuff hierarchy; proc; memory; opt; fsm; opt @@ -299,7 +299,6 @@ Roadmap / Large-scale TODOs - Improve Xilinx FGPA synthesis (RAMB, CARRY4, SLR, etc.) - Implement SAT-based formal equivialence checker - - Add x-state support to SAT model generator - Rewrite freduce pass with input-cone analysis - Write equiv pass, base hypothesis on input cones @@ -315,7 +314,7 @@ Other Unsorted TODOs - Implement missing Verilog 2005 features: - Multi-dimensional arrays - - ROM modeling using "initial" blocks + - ROM modeling using $readmemh/$readmemb in "initial" blocks - Ignore what needs to be ignored (e.g. drive and charge strengths) - Check standard vs. implementation to identify missing features @@ -323,7 +322,7 @@ Other Unsorted TODOs - Add brief source code documentation to most passes and kernel code - Implement mux-to-tribuf pass and rebalance mixed mux/tribuf trees - - Add edit commands for changing the design (delete, add, modify objects) + - Add more commands for changing the design (delete, add, modify objects) - Add full support for $lut cell type (const evaluation, sat solving, etc.) - Smarter resource sharing pass (add MUXes and get rid of duplicated cells) -- 2.30.2