Modularitet, skalbarhet, återanvändbarhet, konfigurerbarhet och interoperabilitet av ASIC/FPGA-verifierings-IP

The complexity of chip design has been exponentially rising, resulting in increased complexity and costs in chip verification. This rise in complexity results in increased time to market and increases risks of chip in fabrication, that can be catastrophic and result in major losses. For this reason, it is necessary for companies to ensure the verification testbenches used are predictable and reusable. The SystemVerilog language is a Hardware Verification Language that adopts the object-oriented principles. It is a highly suitable language for verification environments as it offers functional coverage, constrained random testing and assertions. The Universal Verification Methodology package consists of SystemVerilog libraries used for the industry grade verification environments. The Universal Verification Methodology takes advantages of features and design patterns from software engineering in general and Object-oriented Programming in particular, such as data hiding to raise the level of abstraction, generic programming to increase reusability, polymorphism for inter-operability, etc. There is a lot of pressure on the performance of today’s verification teams. This thesis develops a functional verification environment for the Avalon Streaming Interface while incorporating design practices that make the environment far more robust and reusable. The study focuses on instilling properties in the Verification environment that help save verification time. Komplexiteten i chipdesign har ökat exponentiellt, vilket resulterat i ökad komplexitet och ökade kostnader vid chipverifiering. Denna ökning i komplexitet resulterar i längre tid till marknaden och ökar riskerna vid tillverkning av kiselchip, vilket kan vara katastrofalt och leda till stora förluster. Av denna anledning är det nödvändigt för företag att säkerställa att de testbänkar som används vid verifiering är förutsägbara och återanvändbara. Språket SystemVerilog är ett verifieringsspråk för maskinvara med objektorienterade egenskaper. Det är mycket lämpligt i verifieringsmiljöer eftersom det erbjuder funktionell täckning, målmässigt begränsade slumpmässiga tester samt påstenden i form av assertions. Biblioteket Universal Verification Methodology består av SystemVerilog-funktioner som används vid verifiering i industrimiljöer. Den universella verifieringsmetoden drar fördel av funktioner och designmönster från mjukvaruteknik i allmänhet och Objektorienterad Programmering i synnerhet, genom att gömma data för att höja abstraktionsnivån, generisk programmering för att öka återanvändbarheten, polymorfism för interoperabilitet, etc. Det är mycket press på prestandan för dagens verifieringslag. Denna avhandling utvecklar en funktionell verifieringsmiljö för ett Avalon Streaming Interface samtidigt som det integrerar designpraxis vilket gör miljön mycket mer robust och återanvändbar. Studien fokuserar på att inkludera egenskaper i verifieringsmiljön vilka hjälper till att spara verifieringstid