L2-Switch auf FPR1010, Architektur, Verifizierung und Fehlerbehebung