شماره ركورد كنفرانس :
2431
عنوان مقاله :
طراحي درختهاي قطري و هرمي از منطق برگشت پذير با استفاده از تجزيه داويو مثبت و سنتز BDD و KFDD
پديدآورندگان :
دهقان بهرام نويسنده , تميس احسان نويسنده
كليدواژه :
روش درختي داويو , مدار منطق برگشت پذير , سنتز BDD و KFDD
عنوان كنفرانس :
مجموعه مقالات سومين كنفرانس برق ايران
شماره مدرك كنفرانس :
1913290
