pārbaudīt procesora vhdl kodu

[omidi_sbu]

Man ir rakstisks
Augsts procesora kodols, un es vēlos zināt, vai tas darbojas naudas sodu, vai ne.
kā es varu darīt?
Es domāju to, kas ir formālas iespējas, man testa visas iespējamās izejvielas?ir kāda programmatūra to?

 

[Thinkie]

Jums ir pārliecināties, ka katrs komandas darbu un ar jebkuru argumentu ...un tad jums ir pārliecināties, ka komandas secību darbu ..

Viegli redzēt, ka meklēšanas eksplodē.Ir valodas, piemēram, verisity e, specman un citi, kas var jums palīdzēt automatizēt un kvantitatīvi cik tuvu jūs esat
uz savu mērķi.