electronics forum

Rules | Recent posts | topic RSS | Search | Register  | Log in

Is it right time to use PSL?
Post new topic  Reply to topic    EDAboard.com Forum Index -> ASIC Design Methodologies & Tools (Digital) -> Is it right time to use PSL?
Author Message
repac



Joined: 31 May 2001
Posts: 23
Post18 Jul 2003 7:25   

Is it right time to use PSL?
Assertion base verification is the trend.
But, which language should we use?
PSL? or others?
It seems only cadence ncsim supports PSL dynamic simulation and few beta tools support PSL static formal verificatoin.
Should we integrate PSL into our verification flow now?
Shocked Question Question
Back to top
Google
AdSense
Google Adsense
Post18 Jul 2003 7:25   

Ads


Back to top
Arabic versionBulgarian versionCatalan versionCzech versionDanish versionGerman versionGreek versionEnglish versionSpanish versionFinnish versionFrench versionHindi versionCroatian versionIndonesian versionItalian versionHebrew versionJapanese versionKorean versionLithuanian versionLatvian versionDutch versionNorwegian versionPolish versionPortuguese versionRomanian versionRussian versionSlovak versionSlovenian versionSerbian versionSwedish versionTagalog versionUkrainian versionVietnamese versionChinese version
Post new topic  Reply to topic    EDAboard.com Forum Index -> ASIC Design Methodologies & Tools (Digital) -> Is it right time to use PSL?
Page 1 of 1 All times are GMT + 1 Hour
Similar topics:
first-time-right in rf/microwave cad software (5)
Old time hobbyist needs pointing in right direction..... (5)
Right port dimensions for microstrip line in CST, time doman (1)
Selecting the Right scope for the right price. (1)
What time to use Clocking Block in SystemVerilog? (5)
Right half plane zero and right half plane pole?????? (3)
How to use DS1307 real time 64x8 RAM? (3)
how to wait for a absolute time(when use eeprom)? (5)
HELP:how to wait for a absolute time(when use eeprom)? (1)
help meto do my prject real time clock display use pic16f877 (1)


Abuse || Administrator || Moderators || Support us || sitemap
topic RSS