sudarsv
Junior Member level 1
Hi all
I am a graduate student specializing in VLSI design. I am trying to get acquainted with verification techniques and tools used in the industry. I am currently trying to understand the mathematical concepts of verification, like graphs, BDD, model checking, symbolic computation. But these concepts are more theoretical rather than practical. Can anyone let me know how are these concepts used in real world verification problems. Which tools are used for formal verification, what is the methodology that is followed in industry. Also please give me references to some sample projects on verification.
Thank you
I am a graduate student specializing in VLSI design. I am trying to get acquainted with verification techniques and tools used in the industry. I am currently trying to understand the mathematical concepts of verification, like graphs, BDD, model checking, symbolic computation. But these concepts are more theoretical rather than practical. Can anyone let me know how are these concepts used in real world verification problems. Which tools are used for formal verification, what is the methodology that is followed in industry. Also please give me references to some sample projects on verification.
Thank you