JL
Modyfikacja projektu
Kompilacja projektu
Symulacja funkcjonalna
Weryfikacja czasowa
ytikacja
Programowanie układu
Weryfikacja fizyczna