Verification of the CAD System for an Application-Specific Processor by Property-Based Testing. - Daniil Prohorov; Aleksandr Penskoi (MECO, 2020)