Pomoč: Kaj je tok za uporabo. SVF datoteko za formalnost?

[newcpu]

Živjo,
Bi lahko kdorkoli povej mi od slediti Design Compiler za formalnost?Imam set "set_svf. / FM / fm.svf" v pisavi DC.Ampak Imam prazno fm.svf datoteko, ko sem končal sinteze.Ali obstajajo kakršne koli napake, za moje nadaljnje?

S spoštovanjem,
newcpu

 

[newcpu]

Ali kdo ve to?

 

[rameshsuthapalli]

hi all,

v formalnost je ukaz imenuje set_guidence.uporabi to ukaz za ustanovitev *. SVF v formality.i bo povedal, kako formalnost r change_names ukazi.kako uniquefy coomand uporablja v času synthesis.ungroupsing bilo storjeno.s spoštovanjem,
rameshs