Useful Links

Verification

http://www.specman-verification.com/
http://www.specman-verification.com/static.php?page=WorkInterviewQuestions

http://www.specman-verification.com/static.php?page=SpecmanAndSystemVerilog

Formal Verification
http://ecee.colorado.edu/~ecen5139/    
http://embedded.eecs.berkeley.edu/Alumni/rajeev/cs252/report/main/node12.html
http://www.design-reuse.com/articles/2287/survey-compares-formal-verification-tools.html
http://asic-soc.blogspot.com/2007/10/methodologies-in-formal-verification.html

System Level
Electronic System Level
Colorodo's Verification Interacting with Synthesis

EE related blogs
JB's circuit
http://indiavlsi.wordpress.com/
Brian Bailey TechBites
Harry the ASIC guy
ASIC-SOC
Fivecomputers
Maven Silicon's Sivakumar's blog
Nityanand Dubey's VLSI blog

http://chipverification.blogspot.com/

http://www.vlsichipdesign.com/

http://digitalverification.blogspot.com/
http://asic-verification.blogspot.com/
http://www.asic.co.in/
http://vlsiasic.blogspot.com/  good links
http://asicvlsi.blogspot.com/  good links
http://asic-soc.blogspot.com/p/about-me.html
http://asic-digital-vlsi.blogspot.com/
http://only-vlsi.blogspot.com/  good
http://efficient-vlsi.blogspot.com/
http://www.vlsi-world.com/component/option,com_frontpage/Itemid,1/
http://ninjaverification.wordpress.com/
http://www.edn.com/blog/
SOCcentral ESL

VLSI Groups and Conferences:

Hotchips  Leading conference on high-performance microprocessors and related integrated circuits

SNUG

DAC

MUSIC

CDN LIVE

SVUG

Misc
http://akashtaker001.blogspot.com/
http://www.morethanip.com/
http://way2freshers.com/placement-papers/ibm-papers/ibm-interview-paper-21-nov-2008-chennai.html
http://www.123eng.com/forum/viewtopic.php?t=72483
http://bknpk.no-ip.biz/my_web/index.html
Timing attack on RSA implementation

Interesting news articles

Mutation based code coverage
Juniper networks router architecture
ESL
Is ESL Formal Verification an oxmoron?
Is anybody out there a Software Verification Engineer?
How to tape out asics like theyre software releases
Why programmability is now a game changer
Processor architectures: Where will we will be in 2020
US engineers at a disadvantage
India software industry

Webcaste
Mit

Algorithms

http://www.cs.purdue.edu/homes/dec/essay.topic.generator.html

http://www.aduni.org/courses/algorithms/index.php?view=cw

http://people.csail.mit.edu/madhu/

HW-SW codesign contest in MIT

http://memocode2010.csail.mit.edu/redmine/wiki/memocode2010