4451 search results - page 61 / 891 » Continuous model synthesis |
111
Voted
VLSID
2003
IEEE
16 years 1 months ago
2003
IEEE
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
108
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
100
click to vote
DAC
2005
ACM
15 years 2 months ago
2005
ACM
Automated analog sizing is becoming an unavoidable solution for increasing analog design productivity. The complexity of typical analog SoC subsystems however calls for efficient ...
87
Voted
AUTOMATICA
2008
15 years 28 days ago
2008
This paper addresses the synthesis approach to output feedback robust model predictive control for systems with polytopic description, bounded state disturbance and measurement no...
105
click to vote
LCTRTS
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...