I was wondering as to are there any good resources online /and or some tools to learn about formal design verification of large complex designs like for instance a processor.
Also a good paper reading list in the same field would be great as there are a tons of papers in this field on the ACM portal and I have no clue where to start from.
Thanks
--------------------------------- Kartik Krishnan kkrishnan[at]wisc.edu
---------------------------------