DFFINIT is now correctly called for all kinds of flipflop, not just DFF

This commit is contained in:
Andrew Zonenberg 2016-03-31 23:16:45 -07:00
parent 7498ff8041
commit 736a998a75
1 changed files with 6 additions and 0 deletions

View File

@ -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");
}