Toru Kawasaki
生駒 : 奈良先端科学技術大学院大学, 1995.3
1
R000037
2
禁帯出
1995
54p
有限オートマンの非明示的処理を用いた正則表現タイミングシミュレーション
奈良先端科学技術大学院大学情報科学研究科修士論文 ; 1995年3月
学位記番号: 修第68号
授与年月日: 1995/03/24
学位の種類: 修士(工学)
学生番号: 0351027
英語 (eng)
川崎, 通 (カワサキ, トオル)
timing verification
finite automaton
binary decision diagram
timing simulation
regular expression
timing verificationfinite automatonbinary decision diagramtiming simulationregular expression
