Development of a CAD tool for optimization of concurrent MTBDDs by using "don't cares"

Year
2008
Project submitters
  • ליאור עמיחי
  • שי אטיאס
מנחה חיצוני
פרופ' אליה לוין

Last Updated Date : 17/12/2013