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