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...
| Κύριοι συγγραφείς: | , , |
|---|---|
| Μορφή: | Conference or Workshop Item |
| Γλώσσα: | English |
| Έκδοση: |
IEEE
2017
|
| Διαθέσιμο Online: | http://psasir.upm.edu.my/id/eprint/59460/1/New%20tool%20for%20converting%20high-level%20representations%20of%20finite%20state%20machines%20to%20verilog%20HDL.pdf |