New tool for converting high-level representations of finite state machines to verilog HDL

Automated conversion of high-level representation of Finite State Machine (FSM) to correct-by-construction Hardware Description Language (HDL) is of demand with the increasing complexity of the modern digital controller designs. In this paper, we proposed a tool implementing systematic methodology f...

Full description

Saved in:
Bibliographic Details
Main Authors: Masoumidezfouli, Seyedhossein, Syed Mohamed, Syed Abdul Rahman Al-Haddad, Rokhani, Fakhrul Zaman
Format: Conference or Workshop Item
Language:English
Published: IEEE 2017
Online Access:http://psasir.upm.edu.my/id/eprint/59460/1/New%20tool%20for%20converting%20high-level%20representations%20of%20finite%20state%20machines%20to%20verilog%20HDL.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!