FSM design and verification

被引：0
|
作者：
Stuart, Michael [1 ]
机构：
[1] TransEDA
来源：
Electronic Engineering (London) | 1999年 / 71卷 / 866期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：17 / 19
相关论文
共 50 条
  • [1] FSM design and verification
    Stuart, M
    ELECTRONIC ENGINEERING, 1999, 71 (866): : 17 - +
  • [2] FSM decomposition and functional verification of FSM networks
    Hasan, Z
    Ciesielski, MJ
    VLSI DESIGN, 1995, 3 (3-4) : 249 - 265
  • [3] An optimization approach for SoC FSM verification
    Wang, ZH
    Wang, JX
    Ye, YZ
    PROCEEDINGS OF THE 2004 IEEE ASIA-PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS, VOL 1 AND 2: SOC DESIGN FOR UBIQUITOUS INFORMATION TECHNOLOGY, 2004, : 557 - 560
  • [4] THE BACKWARD WALK APPROACH IN FSM VERIFICATION
    KRISCHER, S
    COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 155 - 162
  • [5] Modeling and Verification of Web Application Components using FSM
    He, Tao
    Li, Liping
    Xu, Shouxiang
    2011 INTERNATIONAL CONFERENCE ON FUTURE COMPUTER SCIENCE AND APPLICATION (FCSA 2011), VOL 2, 2011, : 417 - 420
  • [6] Application of symbolic FSM Markovian analysis to protocol verification
    Baldi, M
    Macii, A
    Macii, E
    Poncino, R
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1999, 146 (05): : 221 - 226
  • [7] Stately: An FSM Design Tool
    Pope, Jeremy
    Saget, Jules
    Seger, Carl-Johan H.
    2020 18TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2020, : 167 - 172
  • [8] Verification of FSM using Attributes Definition of NPCs Models
    Kim, Chong-Han
    Jeong, Seung-Moon
    Hur, Gi-Taek
    Kim, Byung-Gi
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2006, 6 (7A): : 168 - 174
  • [9] Design of FSM for wireless communication
    Qin Ning-ning
    Zeng Yong-bo
    Xu Bao-guo
    Proceedings of the 2007 Chinese Control and Decision Conference, 2007, : 629 - 633
  • [10] Self-checking FSM design with observing only FSM outputs
    Matrosova, A
    Ostanin, S
    6TH IEEE INTERNATIONAL ON-LINE TESTING WORKSHOP, PROCEEDINGS, 2000, : 153 - 154
12345