|
IP-based Microelectronics for Mobile Telecommunication Systems The IP² project seeks to develop new EDA methods and products for future
generations of mobile telecommunication systems.
Research topics are the development and evaluation of new application
specific CAE methods like customized intellectual property principles
and near-implementation prototyping as well as their use in the design
and optimization of new reconfigurable system-on-chips (SoCs) to be used
in future Internet-protocol-based mobile communication systems.
The target technologies are existing GSM-based networks as well as their
GRPS derivates; also new UMTS- and Hiperlan-based solutions are
supported to realise mobile data rates far beyond 2 Mb/s.
The achieved results are intended to be used as contributions to
standardization processes to ensure their survival in the competitive
market. | Project manager: Prof. a.D. Dr. Dr. h.c. Mario Dal Cin
Project participants: Dipl.-Inf. Stefan Gossens, Fang Fang Wang, M. Sc.
Keywords: Formal Specification of ASICS; Testcase Assessment; Generating of VHDL-Code; Intellectual Property; CAE-Methods
Duration: 1.1.2002 - 31.12.2003
Sponsored by: BMBF Lucent Technologies Network Systems GmbH
| Publications |
---|
Haas, W. ; Heinkel, U. ; Gossens, Stefan: Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA). In: Jürgen Ruf (Ed.) : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Berichte aus der Informatik) (GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Tübingen 25.-27. Februar 2002). Aachen : Shaker Verlag, 2002, pp 96-105. | Gossens, Stefan: Enhancing System Validation with Behavioural Types. In: . (Ed.) : Proceedings 7th IEEE/IEICE International Symposium on High Assurance Systems Engineering (7th IEEE/IEICE International Symposium on High Assurance Systems Engineering Tokio, Japan 23.-25. Oktober 2002). Los Alamitos : IEEE Computer Society, 2002, pp 201-208. | Haas, W. ; Heinkel, U. ; Gossens, Stefan: Integration of Formal Specification into the Standard ASIC Design Flow. In: unbekannt (Ed.) : Proc. 7th IEEE/IEICE International Symposium on High Assurance Systems Engineering (7th IEEE/IEICE International Symposium on High Assurance Systems Engineering Tokio, Japan 23.-25. Oktober 2002). Los Alamitos : IEEE Computer Society, 2002, pp 189-194. | Gossens, Stefan: Verifikation durch Kontrollflussuntersuchung. In: Jürgen Ebert ; Bernt Kullbach ; Franz Lehner (Ed.) : 4. Workshop Software Reengineering, Fachbericht Informatik 9/2002 der Universität Koblenz-Landau (4. Workshop Software Reengineering Bad Honnef 29.-30. April 2002). Koblenz : Universität Koblenz, 2002, pp xxx-yyy. | Haas, W. ; Bürner, T. ; Gossens, Stefan ; Heinkel, U.: Formal Specification of a 40GBit/s Sonet/SDH ASIC with ADeVA. In: n.b. (Ed.) : Proc. of Forum on specification and Design Languages 2003 (FDL'03) (Forum on specification and Design Languages 2003 (FDL'03) Frankfurt September 2003). 2003, pp .. | Gossens, Stefan ; Belli, Fevzi ; Beydeda, Sami ; Dal Cin, Mario: View Graphs for Analysis and Testing of Programs at Different Abstraction Levels. In: IEEE Computer Society (Ed.) : Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005 Ninth IEEE International Symposium on High Assurance Systems Engineering Heidelberg, Germany 12-14 October 2005). 2005, pp 121-130. |
Institution: Chair of Computer Science 3 (Hardware Architectures)
|
|
|