System-on-a-chip (SOC) structures integrate both hardware and software, digital and analog components on a single chip. SOCs are driven by a number of constraints of limited resources and time-to-market. The recent evolution of SOCs regarding higher functionality continuosly created new constraints and functional requirements, which have to be taken into account during design and verification on each abstraction layer. System-level-based functional verification prototypes used as executable specifications are a recently proposed approach to cope with the large number of requirements. However, these specifications are often completeley separated from the corresponding implementation on RTL. This, however, defeats the purposes of executable specifications as a verification environment for lower levels. On the other hand it is a very exhausting process to develop executable specifications to fulfil all of the specified requirements. The SIMBA project, which is a collabroation of the Technical University Graz and the University College Dublin together with CISC Semiconductors, tries to solve these issues by extending the current design methodology towards the tight integration of requirements in each design step and abstraction level.
|Effective start/end date||1/11/06 → 31/12/09|
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.