Contact
Events

Appearances


Papers

  • Cai, Gajski, "Transaction Level Modeling: An Overview", CODES+ISSS 03, Newport Beach, CA.

Software

SpecC Compiler and Simulator have been released.
  • SpecC is a language for capturing executable specifications of embedded systems. SpecC systems is a suite of tools supporting an IP-Centric codesign methodology inspecification, design and modeling of embedded systems.

System-on-Chip Environment (SCE)
  • SCE is an environment for capturing and refining system specification into a cycle-accurate model ready for input to standard EDA tools.
Schedule

  • Updates to follow.