#include "counter.h" // Counter model void counter::cnt_model() { while (true) { wait(); if (rst.read()) { cnt = 0; } else { cnt ++; } } } // Counter montitor void counter::monitor() { error = 0; while (true) { wait(); cout << "@" < 0) { cout << "=======================================" << endl; cout << " SIMULATION FAILED" << endl; cout << "=======================================" << endl; } else { cout << "=======================================" << endl; cout << " SIMULATION PASSED" << endl; cout << "=======================================" << endl; } done = 1; // Just wait for few cycles wait(100); } }