D
djhulme
Guest
Dobrý deň, som výskumník University College v Londýne a ja rozvíjať logické algoritmy splniteľnosti (SAT-Riešitelia). Hľadám žiadosti o ne, a ja som bol hovoril, že SAT-riešiteľmi sú používané v celom procese formálnej verifikácie v priemysle EDA, a chceli by ste sa dozvedieť viac o tom. Mohol by mi niekto povedať viac o tom, ako je SAT aplikovaný na proces FV. Kto ho používa? Prečo sa používa? Ako sa to používa? Koľko to používa? Mená a čísla by bolo veľmi užitočné. So srdečným pozdravom, Daniel