Abstract-Modern processorkonstruktioner är extremt komplexa och svåra att validera under utveckling, vilket orsakar en växande del av verifieringsansträngningen för att övergå till post-silikon, efter att de första hårdvaruprototyperna blir tillgängliga. Extremt långsamma simuleringshastigheter under försilikonverifieringen resulterar i funktionella fel som tränger in i kisel, ett problem som förvärras ytterligare av den ökande komplexiteten hos minnesdelsystemet på multikärnplattformar. I detta arbete presenterar vi CoSMa, en ny teknik som erbjuder hög täckning funktionell post-silikon validering av cachekonsistensprotokoll i multicore system. Det gör det möjligt att upptäcka och diagnostisera funktionella fel i minnesdelsystemet genom att vid körning registrera en kompakt kodning av de operationer som sker vid varje cachelinje och kontrollera att de är korrekta med jämna mellanrum. Vi utnyttjar systemets befintliga minnesresurser för att lagra den nödvändiga aktiviteten, vilket minimerar områdets omkostnader. När systemet är äntligen redo för kundtransport, CoSMa kan vara helt inaktiverad, eliminera alla prestanda eller minne overhead. Vi reproducerar i våra experiment en uppsättning sammanhängande protokoll buggar baserat på publicerade errata dokument kommersiella multicore mönster, och visar att CoSMa är mycket effektivt för att upptäcka dem.
Det senaste arbetet med verifiering efter kisel är mål för cachekonsistens i CMP-system REF.
Post-silicon verification for cache coherence
{'venue': '2008 IEEE International Conference on Computer Design', 'journal': '2008 IEEE International Conference on Computer Design', 'mag_field_of_study': ['Computer Science']}