67 search results - page 1 / 14 » Formal System Design Based on the Synchrony Hypothesis, Func... |
VLSID
1999
IEEE
13 years 8 months ago
1999
IEEE
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
CODES
1999
IEEE
13 years 8 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
FDL
2004
IEEE
13 years 8 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
CODES
2000
IEEE
13 years 8 months ago
2000
IEEE
We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space expl...
ICST
2009
IEEE
13 years 2 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...