1 2 3 4 5 6
ENTITY test_formal_test IS END ENTITY; ARCHITECTURE formal OF test_formal_test IS BEGIN END ARCHITECTURE;