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
|