A collection of some good papers on Formal Verification (courtesy: Prof Robert Brayton, Dept of Electrical Engg & Computer Sciences, UC Brekeley)
Verilog related
sites
A One-Semester Graduate Course in Logic Synthesis (courtesy: Prof Robert Brayton, Dept of Electrical Engg & Computer Sciences, UC Brekeley)
Design Automation Conference (DAC)
Tom's Hardware Guide (courtesy: Thomas Pabst)
International Mentor
Graphics Users' Group
comp.lang.c Frequently Asked Questions
The Java Tutorial
Internet Society (ISOC) (courtesy: Internet Society)
Netpedia --> The Solution for Web Developers (courtesy: Ambient Technologies)
Some nice technical articles
Misc...
Back to Amit's Home Page...