Title :
The Schema and Implementation of a Model Machine Based on DFA Theorem
Author :
Xiaolin, Yi ; Yifan, Peng ; Qiang, Song ; Feng, Yang ; Xiaoyan, Li
Author_Institution :
Coll. of Comput. Sci., Beijing Univ. of Technol., Beijing
Abstract :
Based on deterministic finite automaton (DFA) and combinational logic circuits, an implementation of a model machine using Verilog HDL and top-down method is proposed. This paper describes how to design each of its parts with the schema of DFA in Verilog HDL and simulates the machine in the end.
Keywords :
combinational circuits; finite automata; hardware description languages; DFA theorem; Verilog HDL; combinational logic circuits; deterministic finite automaton; model machine; Automata; Clocks; Computer science; Computer science education; Doped fiber amplifiers; Educational institutions; Educational technology; Hardware design languages; Read-write memory; Registers; DFA; Verilog HDL; model machine;
Conference_Titel :
Education Technology and Computer Science, 2009. ETCS '09. First International Workshop on
Conference_Location :
Wuhan, Hubei
Print_ISBN :
978-1-4244-3581-4
DOI :
10.1109/ETCS.2009.496
