Login / Signup

A formal approach to HW/SW co-design: the INSYDE project.

D. SinclairLudo CuypersKurt VerschaeveE. HolzAlexios N. BirbasV. MariatosN. KyrloglouJ.-L. Roux
Published in: ECBS (1996)
Keyphrases
  • hw sw
  • hardware software
  • embedded systems
  • design methodology
  • hardware software partitioning
  • case study
  • software development
  • formal specification
  • user interface
  • fuzzy logic
  • object oriented
  • formal methods