This presentation will delve into the transformative potential of Property-Based Testing (PBT) for Field Programmable Gate Array (FPGA) design and verification, and how it can increase efficiency and reliability in the design process. We will introduce the foundational principles of PBT and explain why it stands as an advantageous alternative to traditional testing methodologies. Key topics will include the automatic generation of test cases, the use of formal specifications to express properties, and how PBT can significantly enhance the detection of edge cases and other anomalies in FPGA design. We will present real-world examples and case studies to illustrate the practical application of PBT in complex FPGA design scenarios. This presentation aims to equip FPGA engineers and designers with an understanding of the value of PBT, practical techniques to implement it in their work, and strategies to improve design reliability and verification efficiency. The content will be beneficial for anyone involved in FPGA design, from novices to seasoned engineers, as well as project managers seeking to optimize their design verification workflows.
Christiaan Baaij, QBayLogic