Rajarshi Mukherjee

ECE Dept, Northwestern University

Email: rajarshi@ece.northwestern.edu

847-491-2086 (O)

 

Formal Verification

Cudd (Shortest Cudd Tutorial)

Chaff

BDD Portal

CVC

Murphi

Formal Verification and Validation at Stanford

Model Checking at CMU

ADL driven Validation of Programmable Embedded Systems at UCI

SRI International's Computer Science Laboratory

ICS

Accellera PSL Reference Manual

Cadence Incisive Platform

Clouard, Allen, “Experiences and Challenges of Transaction Level Modelling with SystemC 2.0”, ST Microelectronics, 5th European SystemC User’s Group, March 2002

Novas Software Debussy Tool

Open SystemC Initiative

SystemC Verification Library

TLA

ACL2

SPIN

NASA LaRC Formal Methods Program

Computational Logic, Inc.

Low Energy FPGAs

Low Power Reconfigurable Logic at BWRC

FPGA CAD Software From the Toronto FPGA Research Group

Iscas89 Benchmarks

Collaborative Benchmarking Laboratory

Computer Architecture

Simplescalar

Compilation Techniques for Streaming Data

CDFG Toolkit

SAVANT: VHDL Analysis Tool

FreeHDL Project

SUIF

StreamC

Miscellaneous SUIF passes

Streaming Languages

William J. Dally’s Homepage

StreamIt

raw Architecture Workstation Project

LANL Reconfigurable Computing Systems RCC Tools

The Gigascale Silicon Research Center

Split-C

The LEDA User Manual Version 3.7.1

BRASS Research Group

ITRS

Free Model Foundry

Mixed Signal Related

ADC/DAC glossary

INL/DNL

Programming languages

Matlab Primer

M-files

Introduction to Object-Oriented Programming Using C++

A tutorial on the Visual C++ debugger

A C++ tutorial

STL reference (with examples)

Standard Template Library Programmer's Guide

Official Java Programming Documentation Quick Reference Guide

The Source for Java(TM) Technology

ANTLR Website

A Basic UNIX Tutorial

A Note On CPP

Compiler

Bison 1.28

Flex

Parsing Techniques

Library

Northwestern University Library
Northwestern University Library ELectronic Resources
ACM Transactions on Design Automation of Electronic Systems
ACM Digital Library

IEEE Publications

VLSI CAD Bookshelf Slots and Entries

GSRC Publications

IT

You’ve Got Spam: How to "Can" Unwanted Email

PGP Freeware

SSH

VPN

SpamAssassin

GSView

Get Control (Tips on Internet Security from NUIT)

VisualRoute Server

WinMerge

Dell and MPC Computer Promotion

Job Search

University Career Services

hotU inc

Miscellaneous

Graduate Student Advice and Research Survival Guide

Financial aid consumer information at Northwestern

General consumer information at Northwestern

International Office News (US embassies)

Parking and Transportation Services

Off Campus Housing

Craigslist

Simply Roomates

Online News

DeepChip ESNUG Archive

EETimes

CNN
Anandabazar