bool process_components_statement(evl_components &cp, evl_statement &s, const evl_wires &wires) { assert(s.type == evl_statement::COMPONENT); enum state_type {INIT, TYPE, NAME, PIN_NAME, PINS, PINS_DONE, DONE, BUS, BUS_MSB, BUS_COLON, BUS_LSB, BUS_DONE}; state_type STATE = INIT; evl_component component; evl_pin pin; for (evl_tokens::const_iterator iter = s.tokens.begin(); (iter != s.tokens.end()) && (STATE != DONE); ++iter,s.tokens.pop_front()) { evl_token t = s.tokens.front(); if (STATE == INIT) { if (t.type == evl_token::NAME) { component.type = t.name; component.name = "NONE"; STATE = TYPE; } else { cerr << "Need a name but found "<< t.name <<" on line "<< t.lineNumber<< "STATE == INIT" << endl; return false; } } else if (STATE == TYPE) { if (t.type == evl_token::NAME) { component.name = t.name; STATE = NAME; } else if ((t.type == evl_token::SINGLE) && (t.name == "(")) { STATE = PINS; } else { cerr << "Need NAME or '(' but found "<< t.name << " on line "<<t.lineNumber << "STATE == TYPE" << endl; return false; } } else if (STATE == NAME) { if ((t.type == evl_token::SINGLE) && (t.name == "(")) { STATE = PINS; } else { cerr << "Need '(' but found "<< t.name << " on line "<<t.lineNumber << "STATE == NAME" << endl; return false; } } else if (STATE == PINS) { if (t.type == evl_token::NAME) { evl_wires::const_iterator it = wires.find(t.name); if (it == wires.end()) { cerr << "Wire '" << t.name << "' is not defined" << endl; return false; } pin.name = t.name; pin.msb = -1; pin.lsb = -1; if (wire_is_BUS(it->second)) { pin.msb = (it->second)-1; pin.lsb = 0; } STATE = PIN_NAME; } else { cerr << "Need NAME but found "<< t.name << "on line "<<t.lineNumber << "STATE == PINS" << endl; return false; } } else if (STATE == PIN_NAME) { if (t.type == evl_token::SINGLE && t.name == ",") { component.pins.push_back(pin); STATE = PINS; } else if (t.type == evl_token::SINGLE && t.name == ")") { component.pins.push_back(pin); STATE = PINS_DONE; } else if (t.type == evl_token::SINGLE && t.name == "[") { STATE = BUS; } else { cerr << "Need ’,’ or ’)’ or '[' but found ’" << t.name << "’ on line " << t.lineNumber << "STATE == PIN_NAME" << std::endl; return false; } } else if(STATE == BUS) { if (t.type == evl_token::NUMBER) { int msb = atoi(t.name.c_str()); if (!(pin.msb >= msb && msb >= 0)) { cerr << "Pin is not within wire range!"<<endl; return false; } pin.msb = msb; STATE = BUS_MSB; } else { cerr << "Need a NUMBER but found ’" << t.name << "’ on line " << t.lineNumber << "STATE == BUS" << std::endl; return false; } } else if (STATE == BUS_MSB) { if (t.type == evl_token::SINGLE && t.name == ":") { STATE = BUS_COLON; } else if(t.type == evl_token::SINGLE && t.name == "]") { pin.lsb = pin.msb; STATE = BUS_DONE; } else { cerr << "Need ’:’ or ']' but found ’" << t.name << "’ on line " << t.lineNumber << std::endl; return false; } } else if (STATE == BUS_COLON ) { if (t.type == evl_token::NUMBER) { int lsb = atoi(t.name.c_str()); if (!(pin.msb >= lsb && lsb >= 0)) { cerr << "Pin is not within wire range!"<<endl; return false; } pin.lsb = lsb; STATE = BUS_LSB; } else { cerr << "Need a NUMBER but found ’" << t.name << "’ on line " << t.lineNumber << std::endl; return false; } } else if (STATE == BUS_LSB) { if (t.type == evl_token::SINGLE && t.name == "]") { STATE = BUS_DONE; } else { cerr << "Need ’]’ but found ’" << t.name << "’ on line " << t.lineNumber << std::endl; return false; } } else if (STATE == BUS_DONE) { if (t.type == evl_token::SINGLE && t.name == ")") { component.pins.push_back(pin); STATE = PINS_DONE; } else if(t.type == evl_token::SINGLE && t.name == ",") { component.pins.push_back(pin); STATE = PINS; } else { cerr << "Need ')' or ',' but found "<< t.name << "on line "<<t.lineNumber << endl; return false; } } else if(STATE == PINS_DONE) { if (t.type == evl_token::SINGLE && t.name == ";") { cp.push_back(component); STATE = DONE; } } else { assert(false); } } if (!s.tokens.empty() || (STATE != DONE)) { cerr << "There is something wrong with the statement" << endl; return false; } return true; }
bool process_component_statements(evl_components &components, evl_statement &s, evl_wires &wires, evl_checkpoints &check) { //assert(s.type == evl_statement::COMPONENT); enum state_type {INIT, TYPE, NAME, PINS, PIN_NAME, PINS_DONE, BUS, BUS_MSB, BUS_COLON, BUS_LSB, BUS_DONE, DONE}; std::string comp_type = ""; std::string comp_name = "NONE"; std::string pin_name = ""; int bus_msb = -1; int bus_lsb = -1; int count = 0; int count_2; state_type state = INIT; for(; !s.tokens.empty() && (state != DONE); s.tokens.pop_front()){ evl_token t = s.tokens.front(); if (state == INIT) { if(t.type == evl_token::NAME) { comp_type = t.str; state = TYPE; } else { state = TYPE; } } else if (state == TYPE){ if (t.type == evl_token::SINGLE && t.str == "(") { state = PINS; } else { std::cerr << "Need a NAME or a '(' but found '" << t.str << "' at line " << t.line_no << std::endl; return false; } evl_component component; component.type = comp_type; component.name = comp_name; components.push_back(component); count_2 = 0; } else if (state == PINS) { //int count = 0; if (t.type == evl_token::NAME) { evl_wires::iterator it = wires.find(t.str); if (it == wires.end()) { std::cerr << "Wire '" << t.str << "' on line " << t.line_no << " is not defined" << std::endl; return false; } count = it->second + count_2; it->second = ++count; pin_name = t.str; } state = PIN_NAME; } else if (state == PIN_NAME) { bus_msb = -1; bus_lsb = -1; //int count = 0; if (t.str == ")"){ evl_wires::iterator it = wires.find(pin_name); count = it->second + count_2; it->second = ++count; //if (it->second >= 2) { // bus_msb = it->second-1; // bus_lsb = 0; //} evl_pin pins; pins.lsb = bus_lsb; pins.msb = bus_msb; pins.pin_name = pin_name; components.back().comp_pins.push_back(pins); state = DONE; } else if (t.str == ","){ evl_wires::iterator it = wires.find(pin_name); //if (it->second >= 2) { // bus_msb = it->second-1; // bus_lsb = 0; //} count = it->second + count_2; it->second = ++count; evl_pin pins; pins.lsb = bus_lsb; pins.msb = bus_msb; pins.pin_name = pin_name; components.back().comp_pins.push_back(pins); state = PINS; } else { std::cerr << "Need ',' or ')' or '[' but found '" << t.str << "' on line " << t.line_no <<std::endl; return false; } } else { assert(false); //never should get here } } if (!s.tokens.empty() || (state != DONE)) { std::cerr << "something wrong with the statement in Comp" << std::endl; return false; } return true; }
bool process_component_statements(evl_components &components, evl_statement &s, const evl_wires &wires) { assert(s.type == evl_statement::COMPONENT); enum state_type {INIT, TYPE, NAME, PINS, PIN_NAME, PINS_DONE, BUS, BUS_MSB, BUS_COLON, BUS_LSB, BUS_DONE, DONE}; std::string comp_type = ""; std::string comp_name = "NONE"; std::string pin_name = ""; int bus_msb = -1; int bus_lsb = -1; state_type state = INIT; for(; !s.tokens.empty() && (state != DONE); s.tokens.pop_front()){ evl_token t = s.tokens.front(); if (state == INIT) { if(t.type == evl_token::NAME) { comp_type = t.str; state = TYPE; } else { state = TYPE; } } else if (state == TYPE){ if (t.type == evl_token::NAME) { comp_name = t.str; state = NAME; } else if (t.type == evl_token::SINGLE && t.str == "(") { state = PINS; } else { std::cerr << "Need a NAME or a '(' but found '" << t.str << "' at line " << t.line_no << std::endl; return false; } evl_component component; component.type = comp_type; component.name = comp_name; components.push_back(component); } else if (state == NAME) { if (t.type == evl_token::SINGLE && t.str == "("){ state = PINS; } else { std::cerr << "Need '(' but found '" << t.str << "' at line " << t.line_no << std::endl; return false; } } else if (state == PINS) { if (t.type == evl_token::NAME) { evl_wires::const_iterator it = wires.find(t.str); if (it == wires.end()) { std::cerr << "Wire '" << t.str << "' on line " << t.line_no << " is not defined" << std::endl; return false; } pin_name = t.str; } state = PIN_NAME; } else if (state == PIN_NAME) { bus_msb = -1; bus_lsb = -1; if (t.str == ")"){ evl_wires::const_iterator it = wires.find(pin_name); if (it->second >= 2) { bus_msb = it->second-1; bus_lsb = 0; } evl_pin pins; pins.lsb = bus_lsb; pins.msb = bus_msb; pins.pin_name = pin_name; components.back().comp_pins.push_back(pins); state = PINS_DONE; } else if (t.str == ","){ evl_wires::const_iterator it = wires.find(pin_name); if (it->second >= 2) { bus_msb = it->second-1; bus_lsb = 0; } evl_pin pins; pins.lsb = bus_lsb; pins.msb = bus_msb; pins.pin_name = pin_name; components.back().comp_pins.push_back(pins); state = PINS; } else if (t.str == "[") { state = BUS; } else { std::cerr << "Need ',' or ')' or '[' but found '" << t.str << "' on line " << t.line_no <<std::endl; return false; } } else if (state == BUS) { if(t.type == evl_token::NUMBER) { bus_msb = atoi(t.str.c_str()); } else { std::cerr << "Need 'number' but found '" << t.str << "' on line " << t.line_no << std::endl; return false; } state = BUS_MSB; } else if (state == BUS_MSB) { if (t.str == "]") { evl_wires::const_iterator it = wires.find(pin_name); int found_wire_msb = it->second-1; if (bus_msb > found_wire_msb){ std::cerr << "Bus MSB of value: " << bus_msb << " must be greater than or equal to the wire bus msb of value: " << found_wire_msb << std::endl; return false; } if (bus_msb < 0) { std::cerr << "Bus MSB of value: " << bus_msb << " must be greater than 0." << std::cout; } bus_lsb = bus_msb; state = BUS_DONE; } else if (t.str == ":") { state = BUS_COLON; } else { std::cerr << "Need ']' or ':' but found '" << t.str << "' on line " << t.line_no <<std::endl; return false; } } else if (state == BUS_COLON) { evl_wires::const_iterator it = wires.find(pin_name); int found_wire_msb = it->second-1; if (t.type == evl_token::NUMBER) { bus_lsb = atoi(t.str.c_str()); } else { std::cerr << "Need 'number' but found '" << t.str << "' on line " << t.line_no << std::endl; return false; } if (bus_msb < bus_lsb) { std::cerr << "Bus msb: " << bus_msb << " can not be less than Bus lsb " << bus_lsb << std::endl; return false; } if (bus_msb > found_wire_msb) { std::cerr << "Bus msb is: " << bus_msb << ". Needs to less than or equal to wire bus msb: " << found_wire_msb << std::endl; return false; } if (bus_lsb < 0) { std::cerr << "Bus lsb is: " << bus_lsb << ". Needs to be greater than 0" << std::endl; return false; } state = BUS_LSB; } else if (state == BUS_LSB) { if (!(t.str == "]")) { std::cerr << "Need ']' but found '" << t.str << "' on line " << t.line_no << std::endl; return false; } state = BUS_DONE; } else if (state == BUS_DONE) { if (t.str == ")") { evl_pin pins; pins.lsb = bus_lsb; pins.msb = bus_msb; pins.pin_name = pin_name; components.back().comp_pins.push_back(pins); state = PINS_DONE; } else if (t.str == ",") { evl_pin pins; pins.lsb = bus_lsb; pins.msb = bus_msb; pins.pin_name = pin_name; components.back().comp_pins.push_back(pins); state = PINS; } } else if (state == PINS_DONE) { if (t.str == ";") { state = DONE; } else { std::cerr << "Need ';' but found '" << t.str << "' on line " << t.line_no << std::endl; return false; } } else { assert(false); //never should get here } } if (!s.tokens.empty() || (state != DONE)) { std::cerr << "something wrong with the statement in Comp" << std::endl; return false; } return true; }
bool process_wire_statements(evl_wires &wires, evl_statement &s) { assert(s.type == evl_statement::WIRE); enum state_type {INIT, WIRE,IO, WIRES, WIRE_NAME, BUS, BUS_MSB, BUS_COLON, BUS_LSB, BUS_DONE, DONE}; state_type state = INIT; int bus_width = 1; for (; !s.tokens.empty() && (state != DONE); s.tokens.pop_front()) { evl_token t = s.tokens.front(); if (state == INIT) { if ((t.str == "INPUT") || (t.str == "OUTPUT")) { state = IO; } else { if (t.type == evl_token::NAME) { evl_wires::iterator it = wires.find(t.str); if(it != wires.end()) { std::cerr << "Wire '" << t.str << "' on line " << t.line_no << " is already defined" << std::endl; return false; } wires.insert(std::make_pair(t.str, bus_width)); state = WIRE_NAME; } } } else if (state == IO) { if (t.type == evl_token::SINGLE) { if(t.str != "("){ std::cerr << "Need a '(' but found '" << t.str << "' on line" << t.line_no << std::endl; return false; } state = WIRE; } else { std::cerr << "Need Input or Output designation but found '" << t.str << "' on line " << t.line_no << std::endl; return false; } } else if (state == WIRE) { if (t.type == evl_token::NAME) { evl_wires::iterator it = wires.find(t.str); if(it != wires.end()) { std::cerr << "Wire '" << t.str << "' on line " << t.line_no << " is already defined" << std::endl; return false; } wires.insert(std::make_pair(t.str, bus_width)); state = WIRE_NAME; } else { std::cerr << "Need 'wire' but found '" << t.str << "' on line " << t.line_no << std::endl; return false; } } else if (state == WIRE_NAME) { if ((t.str == ")") || (t.str == "=")) { state = DONE; } else { std::cerr << "Need ',' or ';' but found '" << t.str << "' on line " << t.line_no << std::endl; return false; } } else { assert(false); //never should get here } } if (!s.tokens.empty() || (state != DONE)) { std::cerr << "something wrong with the statement in wires" << std::endl; return false; } return true; }
bool process_wire_statements(evl_wires &wires, evl_statement &s) { assert(s.type == evl_statement::WIRE); enum state_type {INIT, WIRE, WIRES, WIRE_NAME, BUS, BUS_MSB, BUS_COLON, BUS_LSB, BUS_DONE, DONE}; state_type state = INIT; int bus_width = 1; for (; !s.tokens.empty() && (state != DONE); s.tokens.pop_front()) { evl_token t = s.tokens.front(); if (state == INIT) { if (t.str == "wire") { state = WIRE; } else { std::cerr << "Need 'wire' but found '" << t.str << "' on line " << t.line_no << std::endl; return false; } } else if (state == WIRE) { if (t.type == evl_token::NAME) { evl_wires::iterator it = wires.find(t.str); if(it != wires.end()) { std::cerr << "Wire '" << t.str << "' on line " << t.line_no << " is already defined" << std::endl; return false; } wires.insert(std::make_pair(t.str, bus_width)); state = WIRE_NAME; } else if (t.type == evl_token::SINGLE) { if(t.str != "["){ std::cerr << "Need a '[' buf found '" << t.str << "' on line" << t.line_no << std::endl; return false; } state = BUS; } else { std::cerr << "Need 'wire' but found '" << t.str << "' on line " << t.line_no << std::endl; return false; } } else if (state == WIRES) { if (t.type == evl_token::NAME) { evl_wires::iterator it = wires.find(t.str); if(it != wires.end()) { std::cerr << "Wire '" << t.str << "' on line " << t.line_no << " is already defined" << std::endl; return false; } wires.insert(std::make_pair(t.str, bus_width)); state = WIRE_NAME; } } else if (state == BUS){ if(t.type == evl_token::NUMBER) { bus_width = atoi(t.str.c_str())+1; if(bus_width < 2) { std::cerr << "Bus width entered is " << bus_width << " but needs a bus width of at least 2. Line No: " << t.line_no << std::endl; return false; } } else { std::cerr << "Need 'number' but found '" << t.str << "' on line " << t.line_no << std::endl; return false; } state = BUS_MSB; } else if (state == BUS_MSB) { if(t.str != ":") { std::cerr << "Need a ':' buf found '" << t.str << "' on line " << t.line_no << std::endl; return false; } state = BUS_COLON; } else if (state == BUS_COLON) { if(t.type == evl_token::NUMBER) { if(t.str != "0"){ std::cerr << "Need a '0' buf found '" << t.str << "' on line " << t.line_no << std::endl; return false; } state = BUS_LSB; } } else if (state == BUS_LSB) { if(t.type == evl_token::SINGLE) { if (t.str != "]") { std::cerr << "Need a ']' buf found '" << t.str << "' on line" << t.line_no << std::endl; return false; } state = BUS_DONE; } } else if (state == BUS_DONE) { wires.insert(std::make_pair(t.str, bus_width)); state = WIRE_NAME; } else if (state == WIRE_NAME) { if (t.str == ",") { state = WIRES; } else if (t.str == ";") { state = DONE; } else { std::cerr << "Need ',' or ';' but found '" << t.str << "' on line " << t.line_no << std::endl; return false; } } else { assert(false); //never should get here } } if (!s.tokens.empty() || (state != DONE)) { std::cerr << "something wrong with the statement in wires" << std::endl; return false; } return true; }