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;
	
}
Exemplo n.º 2
0
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;
}
Exemplo n.º 3
0
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;
}
Exemplo n.º 4
0
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;
}
Exemplo n.º 5
0
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;
}