Verification of the CAD System for an Application-Specific Processor by Property-Based Testing

An application-specific processor CAD system is a complex software system with high dependability requirement. Verification of such system is a complicated process which involves many closely connected components, different computational process representation and tools, and requires much time and work. In the article, the authors describe their experience of usage property-based testing in the NITTA project (application-specific reconfigurable processor CAD for real-time application). Property-based testing allowed to significantly improve source code coverage and identify many hard to find bugs. The article will be interesting to CAD developers and as a real-world property-based testing application example.