CRC64 Algorithm Analysis and Verification

• Autoři: ŠAFRÁNEK David; ŘEHÁK Vojtěch; KRATOCHVÍLA Tomáš; ŠIMEČEK Pavel; HLÁVKA Petr; VOJNAR Tomáš
• Rok publikování: 2005
• Druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
• Fakulta / Pracoviště MU: Fakulta informatiky
• Popis: Zpráva obsahuje analýzu a verifikaci algoritmu implementovaného v hardware pro kontrolní součet CRC64. Základy algoritmu CRC jsou popsány v první části právce, po té jsou stanoveny klíčové vlastnosti zaručující korektnost - pravděpodobnost kolize, Hammingova vzálenost a kvalita distribuce hašujících funkcí.

Související projekty

• Automatizovaná verifikace paralelních a distribuovaných systémů
• Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Vysoce paralelní a distribuované výpočetní systémy