#include #include // #include #include const int MAX_SIM_TIME=100; // void nvboard_bind_all_pins(VFLow* top); int main(int argc, char **argv, char **env) { return 0; }