Stats

  • Locked Locked
  • Replies 2
  • Subscribers 64
  • Views 14963
  • Members are here 0
This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

Share your favorite Simvision GUI buttons

archive

As with every environment, it is the small things that can make a huge impact on your productivity. With IFV I have found the ability to create  custom buttons a way to minimize keystrokes and enable me to iterate quickly proving my designs.

My 2 power buttons are:  Reinvoke and Reset_rerun_tcl

Reset_rerun_tcl enables me to iterate quickly on tcl scripting changes without the overhead of Reinvoke.  It will issue the following 2 tcl commands to IFV:

reset
input $env(TCL_SCRIPT)

I set the environment variable TCL_SCRIPT in my shell before I run IFV and this button allows me to iterate quickly on tcl script changes only.

Here is the steps you can follow to create this button and others involving tcl command sequences:

1. Click on View->Toolbars->Customize
2. If you do not already have a "User Toolbar" create one.
3. Click on "New Button"
   -Enter Label:  "Reset_rerun_tcl"
   -Enter in Script field (select as a simulator command):
 
     reset
     puts "Rerunning tcl script $env(TCL_SCRIPT)
     input $env(TCL_SCRIPT)
    
   - Click "Ok"
4. Note the button has been created.
5. Click on the button and observe you can now issue the “Show times” command.  For this specific button ensure you have set the envirohment variable to your tcl file you run in IFV.

What are your favorite buttons?  Please share so we all have the opportunity to optimize our work environment.

The process to create a Reinvoke button is similar but since it is a GUI menu item is a slightly different process.  IF you interested in creating your own please follow the steps below.

1. Click on View->Toolbars->Customize
2. If you do not already have a "User Toolbar" create one.
3. Click on "New Button"
   -Enter Label:  "Reinvoke"
   -Enter in Script field (leave this as a simvision command):
  
     window invoke %n -type menu "FormalVerifier>Reinvoke"

    - Click "Ok"
4. Note the button has been created.
5. Click on the button and observe you can now issue the reinvoke command.
 
You can apply this to any of the menu commands just by replacing the string in the quotes with the Menu command:

Have fun

JB


Originally posted in cdnusers.org by jb

  • I have an updated Reset_rerun_tcl button.  No longer necessary to set an enviromental variable since the tcl code below will scan the argv variable to find the tcl script name supplied to IFV.

    Here is the steps you can follow to create this button and others involving tcl command sequences:

    1. Click on View->Toolbars->Customize

    2. If you do not already have a "User Toolbar" create one.

    3. Click on "New Button"

       -Enter Label:  "Reset_rerun_tcl"

       -Enter in Script field (select as a simulator command):

     

         reset

         regexp {\-INPUT ([a-zA-Z0.]+)} $argv junk _tclfile
         input $_tclfile
        

       - Click "Ok"

    4. Note the button has been created.

    5. Click on the button and observe you can now the tcl sequence specified above.

    Have fun!!!!


    Originally posted in cdnusers.org by jb

  • Please note update in regexp below.  I expanded the expression to match more characters in the filename.:


    regexp {\-INPUT ([a-zA-Z0-9._\-]+)} $argv junk _tclfile


    Posted By jb on 11/15/2007 12:45 PM

    I have an updated Reset_rerun_tcl button.  No longer necessary to set an enviromental variable since the tcl code below will scan the argv variable to find the tcl script name supplied to IFV.

    Here is the steps you can follow to create this button and others involving tcl command sequences:

    1. Click on View->Toolbars->Customize

    2. If you do not already have a "User Toolbar" create one.

    3. Click on "New Button"

       -Enter Label:  "Reset_rerun_tcl"

       -Enter in Script field (select as a simulator command):

     

         reset

         regexp {\-INPUT ([a-zA-Z0-9._\-]+)} $argv junk _tclfile
         input $_tclfile
        

       - Click "Ok"

    4. Note the button has been created.

    5. Click on the button and observe you can now the tcl sequence specified above.

    Have fun!!!!




    Originally posted in cdnusers.org by jb

Community Guidelines

The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.