1 2 3 4 5 6 7 8 9 10 11 12 13
entity ent is end; library liba; use liba.pkga.all; library libb; use libb.pkgb.all; architecture behav of ent is begin assert a + b = 7; end;