Y
ywguo
Guest
Nazdar,
Bežal som RTL vs netlist formálna verifikácia pomocou formalita.To nikdy dokončená.To vždy sa zastavil na stave overovania.Návrh obsahuje veľa formovaní verejnej mienky a výbavy.Mal som dokonca nastaviť niektoré bloky ako čierna skrinka znížiť zložitosť.Zastavil sa na overovanie stave po viac ako 10 hodín.Bolo mi frustrovaní.
Akékoľvek pripomienky / rady sú veľmi ocenil.Vďaka
Yawei
Bežal som RTL vs netlist formálna verifikácia pomocou formalita.To nikdy dokončená.To vždy sa zastavil na stave overovania.Návrh obsahuje veľa formovaní verejnej mienky a výbavy.Mal som dokonca nastaviť niektoré bloky ako čierna skrinka znížiť zložitosť.Zastavil sa na overovanie stave po viac ako 10 hodín.Bolo mi frustrovaní.
Akékoľvek pripomienky / rady sú veľmi ocenil.Vďaka
Yawei