Project

General

Profile

Actions
Copy link

Feature #6

open

Compiler Pass: Verify DRC

Added by Andreas Westerwick almost 5 years ago.

Status:
Neu
Priority:
Normal
Assignee:
Andreas Westerwick
Start date:
07/07/2019
Due date:
% Done:

0%

Estimated time:

Description

Verify design rule constraints by means of symbolic execution.

No data to display

Actions
Copy link

Also available in: Atom PDF