Avoid/Blacklist model instance from PDK

I have a check and save example which does something very like this (and could be adapted to solve your other question too). I’m travelling at the moment so will upload it once I arrive in a few hours.

Andrew

Here's a link to a post (I found four posts where I'd posted this code!) which shows an example of adding a custom check.

Then you'd need to add code something like this:

    /***************************************************************
    *                                                              *
    *   checkComponentsInCategory (cv libName categName severity)  *
    *                                                              *
    *      Private function to check for any components which      *
    *    are in a category of the PDK intended not to be used.     *
    *                                                              *
    ***************************************************************/

    defun(checkComponentsInCategory (cv libName categName severity)
        let((catId libId)
            ;------------------------------------------------------------
            ; If the cache has not been populated yet, do so now
            ;------------------------------------------------------------
            when(libName && !categCache
                libId=ddGetObj(libName)
                when(libId
                    categCache=makeTable('categCache nil)
                    catId=ddCatOpen(libId categName "r")
                    foreach(catMember catId && ddCatGetCatMembers(catId)
                        when(cadr(catMember)=="cell"
                            categCache[car(catMember)]=t
                        )
                    )
                    when(catId
                        ddCatClose(catId)
                    )
                )
            )
            ;------------------------------------------------------------
            ; Check for any instances which are from the PDK, and are
            ; in the cache of the disallowed category
            ;------------------------------------------------------------
            when(libName && categCache
                foreach(inst cv~>instances
                    when(inst~>libName==libName && categCache[inst~>cellName]
                        placeMarker(inst 
                            sprintf(nil "%s is in the %s category of %s" 
                                inst~>cellName
                                categName
                                libName
                            ) ; sprintf
                            severity
                        ) ; placeMarker
                    )
                )
            ) ; when libName && categCache
        ) ; let
    ) ; defun

This code is from an earlier implementation of abExampleSchematicChecksNew which had to add the markers itself. Instead of the call to placeMarker, you'd use schReportCheckFailure (see the other code for an example). You'd need to call the code above with schRegisterCheckRule. Of course, you may not quite implement it that way - this checks to see if components are in a particular category - you might have some other criteria for determining they are not to be used.

Regards,

Andrew.

Hi Andrew,

I found that code in the other post as well, but I would need some advice how to execute it. I think the adaption to my requirement I can do myself, but where do I save the file and how would I compile/start it ? And what do I have to do, to make it started automatically by pressing "Check&Save" ?

If you could post a link to a tutorial would be helpful - as you see, I am a newbie in skill customization.

Sorry - been a bit busy last week with CDNLive, so haven't had a chance to respond yet. I've not forgotten - just not got to it yet!

Andrew.

Hi,

I tried a very simpistic function "checkHWeCheck()" to generate an error when Check&Save, called "myskill.il".

I loaded the script from the CIW window, via "load("myskill.il") and got the message

"function checkHWeCheck redefined

t"

wich means the function was properly defined.

But when doing a Check&Save in schematic, I do not get the expected error - it just says "Schematic check completed with no errors". - Why ?

Here is the script "myskill.il" (sorry for the format, but I did not find a way how to format it as nice as you did - how do you format code ?):

;------------------------------------------------------------------------
; The let is to create a lexical scope, so that there can be
; private functions which are used for some of the implementation
;------------------------------------------------------------------------
let(()

/***************************************************************
* *
* abRegExampleSchematicCheckNew([?customerName "Customer"]) *
* *
* PUBLIC GLOBAL function used to register the new check group *
* and any specific check - in this case an example of a naming *
* convention. *
* *
***************************************************************/
defglobalfun(abRegExampleSchematicCheckNew (@optional (customerName "Customer"))
;----------------------------------------------------------------
; This registers a new tab on Check->Rules Setup
;----------------------------------------------------------------
schRegisterCheckGroup(
?name concat(customerName)
?description strcat(customerName " checks")
)
;----------------------------------------------------------------
; This registers the specific rule and default severity
;----------------------------------------------------------------
schRegisterCheckRule(
?title "My HWE check"
?name 'myhweCheck
?groupName concat(customerName)
?severity 'error
?checkCB checkHWeCheck
)
)

/***************************************************************
* *
* checkComponentsInCategory (cv libName categName severity) *
* *
* Private function to check for any components which *
* are in a category of the PDK intended not to be used. *
* *
***************************************************************/

defun(checkHWeCheck (cv ruleObject)
foreach(inst cv~>instances
cdf=cdfGetInstCDF(inst)
sprintf(nil "TESTOUT")
schReportCheckFailure(
?object cv
?checkRule ruleObject
?short "DFM option not set"
?message
sprintf(nil "DFM options not to set in %s" cdf )
) ;schReport
) ;foreach

) ; defun

) ;let

Now, its working. I was missing a backtick " ' " at "?checkCB 'checkHWeCheck" and I had to rearrange the functions.

Also I removed the let() for simplicity.

Here is the working code:

defun(checkHWeCheck (cv ruleObject)
foreach(inst cv~>instances
schReportCheckFailure(
?object inst
?checkRule ruleObject
?short "CntDFM"
?message
sprintf(nil "DFM options not to set in %s (%s)" inst->name inst->cellName )
) ;schReport
) ;foreach

) ; defun

/***************************************************************
* *
* abRegExampleSchematicCheckNew([?customerName "Customer"]) *
* *
* PUBLIC GLOBAL function used to register the new check group *
* and any specific check - in this case an example of a naming *
* convention. *
* *
***************************************************************/
defun(abRegExampleSchematicCheckNew (@optional (customerName "CNTchecks"))
;----------------------------------------------------------------
; This registers a new tab on Check->Rules Setup
;----------------------------------------------------------------
schRegisterCheckGroup(
?name concat(customerName)
?title customerName
?description strcat(customerName " checks")
)
;----------------------------------------------------------------
; This registers the specific rule and default severity
;----------------------------------------------------------------
schRegisterCheckRule(
?title "My HWE check"
?name 'myhweCheck
?groupName concat(customerName)
?severity 'error
?checkCB 'checkHWeCheck
)
)
abRegExampleSchematicCheckNew()
/***************************************************************
* *
* checkComponentsInCategory (cv libName categName severity) *
* *
* Private function to check for any components which *
* are in a category of the PDK intended not to be used. *
* *
***************************************************************/

That's because your checking function is outside of the scope of the abRegExampleSchematicCheckNew function; in my code it was within the scope and because the file had a .ils suffix, it was using lexical scoping.

The schRegisterCheckRule function can take either the name of the function (where you have to use ') or the function object itself (which is what I was doing; in SKILL++ mode you have your functions stored in variables with the same name as the function).

Anyway, glad it's working and apologies in my tardiness in responding (I've been travelling a lot over the last 6 weeks and got rather behind on email and forum posts).

Regards,

Andrew.

That's because your checking function is outside of the scope of the abRegExampleSchematicCheckNew function; in my code it was within the scope and because the file had a .ils suffix, it was using lexical scoping.

The schRegisterCheckRule function can take either the name of the function (where you have to use ') or the function object itself (which is what I was doing; in SKILL++ mode you have your functions stored in variables with the same name as the function).

Anyway, glad it's working and apologies in my tardiness in responding (I've been travelling a lot over the last 6 weeks and got rather behind on email and forum posts).

Regards,

Andrew.