trafficlight_testbench.cc

一个用system C来实现的交通灯控制算法

#include <systemc.h>
#include "TrafficLight.h"
#include "input_gen.h"
#include "monitor.h"

int sc_main(int argc, char **argv)
{
  // The command line arguments are as follows:
  // 1. simulation time (in seconds)
  // 2. file with input data (see input.txt for example)
  // 3. file to write output data
  assert(argc == 4);
  sc_time sim_time( atof(argv[1]), SC_SEC);
  char *infile = argv[2];
  char *outfile = argv[3];

  // create channels
  sc_signal<int> sensors_sig;
  sc_signal<double> lights_sig;

  // create modules
  TrafficLight trafficlight("TrafficLight");
  Generator gen("Generator", infile);
  Monitor monitor("Monitor", outfile);

  // connect channels to ports
  
  trafficlight(sensors_sig,lights_sig);
  gen(sensors_sig);
  monitor(lights_sig,sensors_sig);

  // start simulation
  sc_start(sim_time);

  return 0;
}