در این پروژه میائل مطرح برای طراحی یک فرمت میانی استاندارد که نیاز طراحان را برآورده سازد بررسی و سپس فرمت میانی chire معرفی می شود. همچنین به دلیل اهمیت و گسترش استفاده از xml در ارتباطات ، چگونگی استفاده از این امکان در chire توضیح داده خواهد شد و فرمت hdml که به این منظور به وجود آمده است ، معرفی می گردد. در قسمت پایانی این پروژه سعی شده است روشهای استخراج این فرمت از فرمت chire بررسی و الگوریتم های آن ارائه شود. این روشها بر مبنای تبدیل ساختارهای زبان به معادلات بولی به طور بازگشتی و از طریق تشخیص مسیرهای اجرای برنامه و شرط اجرای هر مسیر، استوار است .