Co to jest Gigamax?

• Wieloprocesor stworzony przez Encore Computer Corporation

• Potrzeba weryfiakcji – symulacje nie wystarczają

• Weryfikacja zgodności cache'y i braku blokady

Notatki: