ماشین الگوریتم حالت

روش ماشین الگوریتمی(انگلیسی: Algorithmic state machine) یا (ASM) یک روش برای طراحی ماشین ها است. این ماشین برای نشان دادن نمودارهایمدارهای دیجیتال یکپارچه شده استفاده می شود. نمودار ASM، مانند نمودار حالت است اما غیررسمی تر و در نتیجه درک آن آسان تر است. یک نمودار ASM یک روش توصیف عملیاتی پی در پی و متوالی یک سیستم دیجیتال است.
ایجاد الگوریتم با استفاده از شبه کد برای توصیف عملکرد مورد انتظار دستگاه
تبدیل شبه کد به نمودار ASM
طراحی مسیر داده (datapath) براساس نمودار ASM
ایجاد یک نمودار دقیق ASM براساس مسیر داده
طراحی کنترل منطقی براساس جزئیات نمودار ASM
روش ASM از مراحل زیر تشکیل شده است.
نمودار ASM، شامل چهار عنصر اساسی است. نام واحد، واحد، چک کردن واحد، خروجی های شرطی. یک ASM به صورت یک مستطیل نشان داده می شود که حالت ها از یک نمودار منظم می باشد. خروجی از نوع ماشین مور در درون مستطیل نشان داده شده است.نام واحد: نام یک واحد در داخل دایره نشان داده شده است؛ و دایره در گوشه سمت چپ قرار دارد یا نام بدون دایره قرار دارد.باکس واحدخروجی واحد در داخل مستطیل نشان داده شده است.باکس تصمیم گیرییک لوزی نشان می دهد که شرط بیان شده مورد آزمایش قرار گرفته و مسیر خروجی به ترتیب انتخاب می-شود. شرایط بیان شامل یک یا چند ورودی به FSM می باشد. برای وضعیت ASM نشان داده شده توسط یک لوزی یا یک ورودی و دو خروجی است و به شرط انتقال بین دو حالت یا یک حالت و خروجی مشروط استفاده می شود. باکس تصمیم گیری حاوی شرایط بیان شده برای آزمایش بوده و این بیان شامل ورودی برای FSM می باشد.باکس خروجی شرطی: باکس خروجی شرطی به شکل بیضی نشان داده می شود که سیگنال خروجی از نوع میلی می باشد. این خروجی ها نه تنها به واحد بلکه همچنین به ورودی های FSM نیز بستگی دارد.
هنگامی که عملیات مورد نظر در یک مدار با استفاده از عملیات RTL توصیف شده است، اجراهای مسیر داده می توانند مشتق شوند. هر متغیر منحصر به فرد که یک مقدار در برنامه RTL را به خود اختصاص داده است که می تواند به عنوان یک واحد ثبت شده اجرا شود، وابسته به عملیات عملکردی که هنگام اختصاص یک مقدار به یک متغیر انجام می شود، ثبت برای آن متغیر ممکن است به صورت ساده بوده و متغیر در آن دیده شود و یک شمارنده پیش از بلوک منطقی به صورت ترتیبی قرار بگیرد. بلوک منطقی ترتیبی با یک ثبت مرتبط است؛ و می تواند یک کامپایلر را از طریق تابع منطقی ترکیبی اجرا کند.