Function to Customize Menu Banners

The following code illustrates menu customization in Verifier. The customization can be placed in different locations. See Customizing the Menu Banner.

Menu files are read in the following order:

your_install_dir/etc/tools/menus/appName.menus your_install_dir/local/menus/appName.menus workOrProjectArea/menus/appName.menus ~/menus/appName.menus

For example, you can place the attached file in workOrProjectArea/menus/verifier.menus and start a new Virtuoso session and launch Verifier. You find a new custom menu entry with two actions.

;; Verifier menu customization example

verifier.menus:

;; Load the existing Verifier menus in order to add to it instead of replacing it

loadi(prependInstallPath("etc/tools/menus/verifier.menus"))
;; Define functions to be called by new menu entries
procedure(VerifPrintSess(sess)
    printf("%L\n" sess)
)
procedure(VerifPrintReq(sess)
    let((reqIDs)
        reqIDs = verifGetReqs(sess)
        foreach(reqID reqIDs
            printf("%L -- \t%L  \t%L--%L\n" 
                reqID 
                verifGetReqProp(sess reqID "Title") 
                verifGetReqProp(sess reqID "MinSpec") 
                verifGetReqProp(sess reqID "MaxSpec") 
            )
        )
    )
)
;; Define the new menu entries
myMenu = '(MyMenu "CustomMenu"
    (
        (PrintSess "Print Session Number" "VerifPrintSess(hiGetCurrentWindow()->verifSession)")
        (PrintReq "Print Requirements" "VerifPrintReq(hiGetCurrentWindow()->verifSession)")
    )
)
;; Add new menus to the banner menus
verifMenus = append1(verifMenus 'myMenu)

Virtuoso ADE Verifier SKILL Reference
Product Version IC23.1, November 2023