Added MUXCY and XORCY support to synth_xilinx

This commit is contained in:
Clifford Wolf
2015-01-17 15:39:54 +01:00
parent a95c229e12
commit 7031231145
4 changed files with 106 additions and 2 deletions
+10 -2
View File
@@ -73,7 +73,11 @@ struct SynthXilinxPass : public Pass {
log(" techmap -map +/xilinx/brams.v\n");
log("\n");
log(" fine:\n");
log(" synth -run fine\n");
log(" opt -fast -full\n");
log(" memory_map\n");
log(" opt -full\n");
log(" techmap -map +/techmap.v -map +/xilinx/arith.v\n");
log(" opt -fast\n");
log("\n");
log(" map_luts:\n");
log(" abc -lut 6:8\n");
@@ -144,7 +148,11 @@ struct SynthXilinxPass : public Pass {
if (check_label(active, run_from, run_to, "fine"))
{
Pass::call(design, "synth -run fine");
Pass::call(design, "opt -fast -full");
Pass::call(design, "memory_map");
Pass::call(design, "opt -full");
Pass::call(design, "techmap -map +/techmap.v -map +/xilinx/arith.v");
Pass::call(design, "opt -fast");
}
if (check_label(active, run_from, run_to, "map_luts"))