From: Andrew Zonenberg Date: Fri, 1 Apr 2016 06:16:45 +0000 (-0700) Subject: DFFINIT is now correctly called for all kinds of flipflop, not just DFF X-Git-Tag: yosys-0.7~271^2~1 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=736a998a75e12ca83b45b74a79e78fae8ab12d16;p=yosys.git DFFINIT is now correctly called for all kinds of flipflop, not just DFF --- diff --git a/techlibs/greenpak4/synth_greenpak4.cc b/techlibs/greenpak4/synth_greenpak4.cc index d44888998..25150ec56 100644 --- a/techlibs/greenpak4/synth_greenpak4.cc +++ b/techlibs/greenpak4/synth_greenpak4.cc @@ -102,6 +102,9 @@ struct SynthGreenPAK4Pass : public Pass { log(" dfflibmap -liberty +/greenpak4/gp_dff.lib\n"); log(" techmap -map +/greenpak4/cells_map.v\n"); log(" dffinit -ff GP_DFF Q INIT\n"); + log(" dffinit -ff GP_DFFR Q INIT\n"); + log(" dffinit -ff GP_DFFS Q INIT\n"); + log(" dffinit -ff GP_DFFSR Q INIT\n"); log(" clean\n"); log("\n"); log(" check:\n"); @@ -214,6 +217,9 @@ struct SynthGreenPAK4Pass : public Pass { Pass::call(design, "dfflibmap -liberty +/greenpak4/gp_dff.lib"); Pass::call(design, "techmap -map +/greenpak4/cells_map.v"); Pass::call(design, "dffinit -ff GP_DFF Q INIT"); + Pass::call(design, "dffinit -ff GP_DFFR Q INIT"); + Pass::call(design, "dffinit -ff GP_DFFS Q INIT"); + Pass::call(design, "dffinit -ff GP_DFFSR Q INIT"); Pass::call(design, "clean"); }