Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.
Model Checking (MC) is a technology and PSL/SVA are "specification languages" that are inputs to this technology. MC has existed much before PSL/SVA came into existence. Do a google search on MC, you will find tons of references in several universities, each using its own input language (for e.g. VIS tool, recently they added PSL front end).
Now, a personal plug-in - my company will be covering this and much more as part of our advanced Verification trainings in Bangalore, write to ajeetha <> gmail.com if interested.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.
