Pagalba: Kas naudojimo srautą. SVF failą formalumas?

[newcpu]

Labas,
Gal kas nors pasakys man sekti iš Dizainas kompiliatorių formalumas?Aš rinkinys "set_svf. / FM / fm.svf" DC scenarijų.Bet aš turiu tuščią failą fm.svf, kai aš baigiau sintezė.Ar yra koks nors mano sekti klaidų?

Nuoširdžiausi linkėjimai,
newcpu

 

[newcpu]

Does anyone know this?

 

[rameshsuthapalli]

Hi all,

į formalumas yra komanda pakvietė set_guidence.naudokite šią komandą įkurti *. SVF į formality.i pasakys kaip formalumas change_names komandas R naudojamos.kaip uniquefy coomand naudojama iš synthesis.ungroupsing metu buvo padaryta.linkėjimai,
rameshs