6. The method of claim 1 , wherein said receiving receives the hardware design in a hardware description language; said creating logic comprises building functional component tracking logic; and further comprising simulating functional components in the hardware design with the functional component tracking logic.
7. The method of claim 6 , further comprising testing an information flow labeled with one of the security levels for leaking to a lower classified security level area of the hardware design.