Formal Models for Embedded System Design

Search:

View
  By topic
  As outline
  Fully expanded

Forum topics
  compiler-infrastructure
  arch-summaries
  compiler-summaries
  moc's
  network-drivers
  Presentations
  Princeton Presentation
  Simulator
  Reading List
  Design Examples
  Architecture Discussion
  Related Conferences
  Downloads
  DEPRECATED
  DEPRECATED
  Taxonomies

Articles
  5/30/01 - iFlow
  6/6/01 - Click
  6/13/01 - YAPI
  spade_codes2001
  EXPRESSION
  multithreaded architectures
  compiler design
  emsoft2001 Network processor paper
  Metropolis
  symbolic simulation
  A 50

Modern Embedded Systems: Compilers, Architectures, and Languages
Forum
Reading List

Previous topic	\|	This topic	\|	Next topic
Previous article	\|	This article	\|	Next article

Formal Models for Embedded System Design
Andrew Mihal, 7 Nov 2001

M. Sgroi, L. Lavagno, A. Sangiovanni-Vincentelli. Formal Models for Embedded System Design. IEEE Design and Test of Computers. Vol. 17, No. 2. June, 2000. pg. 14-27.

Previous topic	\|	This topic	\|	Next topic
Previous article	\|	This article	\|	Next article

Send feedback to mescal@gigascale.org

You are not logged in