Organization of this page

Conferences/Workshops

Codesign Related Groups

Internet Embedded Resources

EDA Companies

Interesting Embedded Systems

People in Codesign

Real-time Operating Systems and Languages

Real-time Departments

Technical Journals/Magazines

Hardware/Databooks

Conferences/Workshops

9th International Symposium on System Synthesis

November 6-8, 1996

EUROPEAN DESIGN & TEST CONFERENCE 1997

Deadline: September 6, 1996

RSP '95: Abstracts

1995 NATO ASI: Hardware/Software Co-design

Codesign Related Groups

ASP (Queensland)

FPGA based, translate C to VHDL

Chinook (Washington)

Chinook is a hardware-software co-synthesis CAD tool for embedded systems The main topics include the interfacing problem between hardware and software components, scheduling under timing constraints, and partitioning of functionality.

Cinderella 2.0 WWW Home Page

COMET (Case Western)

Cosmos/Solar

Cosyma

DICE (Darmstadt)

Embeddable Systems (ARPA)

Esterel

GRAPE II

IMEC

Polis (Berkeley)

Provably Correct ProCos (Hoare)

Ptolemy (Berkeley)

RASSP (ARPA)

REACTIVE C PROJECT

RTEMS (Army)

The SIR/CASTLE system (GMD)

SET/Embedded Software Design (GMD)

The group is concerned with specification, construction, and analysis techniques for embedded systems, in particular embedded software.

The SPAM Project

System-Level Design of Application Specific Heterogeneous Multiprocesssors

Web Site of the VRP Project

Internet Embedded Resources

DSP Resources

DSP related resources

Home Page Automation and Process Control

Many resources related to uproc/ucontroller, process control, industrial communication. and robotics.

Internetworking Technology Overview

E. Douglas Jensen: Real-Time Distributed Operating Systems

Linux Kernel Hacker's Guide

Writing Linux Device Drivers

More Real-Time Research

Randy's Electronic Engineering Page

Design Automation Cafe

The IEEE-CS TC-RTS Home Page

Embedded and Real-Time Systems (Swiss)

Embedded Systems (Ireland)

Softaid's Home Page

Realtime Computing (USENET groups)

Dave's Embedded Directory

Embedded Sys. Devel. Info (ORION)

FAQROAD - Embedded Systems (CERA)

The World Wide Web Virtual Library: Safety-Critical Systems

The World-Wide Web Virtual Library: Electrical Engineering

Networked Computer Science Technical Reports Library

Resources of Scholarly Societies - Electrical & Computer Engineering

EDA Companies

Alta Group

Cadence Design Systems

Chronology

i-Logix

Mentor Graphics

Synopsys Home Page

The Internet Home of Synthesia

Viewlogic

Interesting Embedded Systems

Intelligent DRAM (IRAM)

DAMEK

MMK Home Page -- DAMEK

FLASH

The Stanford FLASH Project

The InfoPad WWW Server

People in Codesign/Embedded Systems

Codesign mailing list

Gaetano Borriello

Pai Chou

Giovanni De Micheli

Daniel Gajski

Jie Gong

Rajesh Gupta

Asawaree Kalavade

Phil Koopman

Luciano Lavagno

Edward A. Lee

Yau-Tsun Steven Li

Stan Yi-Huang Liao

Sharad Malik

Ross Ortega

Prof. Mariagiovanna Sami

Alberto Sangiovanni-Vincentelli

Prof. Donatella Sciuto

Ellen M. Sentovich

Carlos Alberto Valderrama Sakuyama

Don Thomas

Frank Vahid

Wayne Wolf

Ti-Yen Yen

Real-Time Operating Systems/Languages

Chimera

Chimera Home Page, RTOS for robotics system.

Harmony Realtime OS

Katix Real Time OS

The Maruti Project

SDL: Specification and Description Language

SCL: Spacecraft Command Language

SPARTA VxWorks FAQ

Wind River Home Page

Real-Time Departments

The Real-Time Systems Research Group at York

Dept. of Real-Time Systems (UVienna)

RTG Home Page (UPenn)

Real Time Computing Laboratory, Univ. of Michigan

Real-Time Systems (UMass)

Real-Time Systems (UMaryland)

The Real-Time Computing Laboratory at NJIT

UNC DiRT Group

Protocols

Protocol survey for embedded applications

TDMA without a bus master

Echelon (control networks)

CAN: Controller Area Network (UK)

CAN: Controller Area Network (UK)

Infrared Data Association

I2C and others

Message Passing Interface

PC-CARD HOME PAGE

Universal Serial Bus Home Page

Motoral Data sheets for USB

VITA - The VMEbus International Trade Association

Technical Journals/Magazines

Microprocessor Report

San Jose Mercury News

Circuit Cellar

Embedded Systems Progamming Home Page

IEEE Communications Survey

IEEE Micro

IEEE Parallel & Distributed Technology

IEEE Design & Test of Computers

IEEE Software

IEEE Spectrum

ACM Transactions on Design Automation of Electronic Systems

ACM Transactions on Computer Systems

Integrated System Design

Computer Controlled Systems On-Line

The Computer Journal Home Page

Synopsys Research Publications

Hardware/Databooks

Gray Creager's url list of semiconductor chip manufacturers.

IBM Microelectronics Home Page

Design Automation for Embedded Systems

Dallas Semiconductor Corp: Home Page

Texas Instruments Welcomes You

Motorola MicroController Technology Group.

Motorola Embedded Page

Motorola HPESD On-line Doc. Library

Motorola AESOP Home Page

Info on Motorola processors

68hc11.FAQ

Siemens Can Controller

Zorin HC11 Kits

The Versatile 8031 Microcontroller