Volume 5, Issue 1 | Design Automation for Embedded Systems

Search all Design Automation for Embedded Systems articles

Volume 5, Issue 1

February 2000

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

Multi-Valued Performance Metrics for Real-Time Embedded Systems
Xiaobo (Sharon) Hu
Rajeshkumar S. Sambandam
OriginalPaper Pages: 5 - 28
Synthesis for Mixed Arithmetic
Anne Mignotte
Jean-Michel Muller
Olivier Peyran
OriginalPaper Pages: 29 - 60
Assessing Probabilistic Timing Constraints on System Performance
G. de Veciana
M. Jacome
Jian-Huei Guo
OriginalPaper Pages: 61 - 81
Functional Validation of Mixed Hardware/Software Systems based on Specification, Partitioning, and Simulation of Test Cases
Axel Jantsch
Johann Notbauer
Thomas Albrecht
OriginalPaper Pages: 83 - 113