cisco_fsm (finite state machine) free tool: pre-announcement 
Author Message
 cisco_fsm (finite state machine) free tool: pre-announcement


We would like to pre-announce FREE finite state machine (cisco_fsm)
analysis tools.  In next few days, we will release cisco_fsm on a
limited basis, i.e. you cannot develop Cisco competing products
by applying cisco_fsm tools. (Only Solaris version is available.)

We encourage you to visit

        http://www.*-*-*.com/ ~ciscofsm

and come to our presentation at IVC'98, http://www.*-*-*.com/ .
Come back to http://www.*-*-*.com/ ~ciscofsm every few days.

===  cisco_fsm features ===

    - automatically extract fsms from Verilog files

    - fsm static verification (reachability tool)

    - fsm dynamic verification (coverage tool)

    - fsm visual verification (bubble diagram tool)

      You have to download AT&T's "dot" tool
      Please do it now.

=== Quotes from our users (marketing hype) ===

    ...  BTW, I have looked at several commercial tools in this area and
    I have found nothing that comes close.  The Text to Graphic is great!
    Best of all, we have unlimited licenses.

    I am using cisco_fsm and  will stick to it. It is working ... and
    it is free. Moreover, I consider the restriction in coding style
    it requires as a major plus and not a deficiency. It helps increasing
    robustness and readability.

    Too many tools are just hype. We only need the right ones.

=== Catches ===

    o Now, I am sure that you are eager to share your hot applications
      with this community.

    o Please don't send me email since I am quite busy. Cisco_fsm is
      only a small part of my job.  Please POST your general Q&A to this
      news group.

      However, I would like to talk to you if you have big improvement
      ideas or willing to contribute your labor.

Tsu-Hua Wang, Ph.D.              
170 West Tasman Drive, SJ-G1            |           |      
San Jose, CA 95134-1706                 |           |      
                                       |||         |||    

                                  c i s c o   S y s t e m s

Sun, 27 Aug 2000 03:00:00 GMT  
 [ 1 post ] 

 Relevant Pages 

1. finite state machines, state cad

2. Finite State Machine and Forth

3. Finite State Machines

4. ESTEREL, Forth and finite state machines

5. finite state machines

6. Finite state machine compiler

7. Finite State Machines

8. OO Finite State Machine Language

9. Finite State Machine inherent support

10. Use of a Finite State Machine in testbench code

11. FSMedit - The Finite State Machines Editor - Version 2.0

12. Announcement: Finite State Editor


Powered by phpBB® Forum Software