Depending upon the functional verification model used, the top level application can be written using on of 2 ways.