Since October 2001 Prof. Dr. Rolf Drechsler is the head of the computer architecture group. Beside the lectures for graduate and undergraduate students, in the research field we are active in different areas of VLSI CAD covering synthesis, verification and test.
I am the head of the group of computer architecture. The main focus of the group is the development and application of CAD tools in circuit design. The research areas range from system descriptions in SystemC over test and verification down to synthesis.
I'm the technical assistent of the group computer architecture. I'm responsible for all computers at our group and consulting our members and students.
I am working as lecturer and research assistent in the area of evolutionary algorithms and applications. The considered approaches are mainly taken from the world of digital circuit design.
My field of activity is the Satisfiability-Problem (SAT). One main focus of my research interests is the efficient solving of SAT-instances. The other main focus is located in the field of 'Test of digital circuits'. In this field I analyse the generation of test pattern for dynamic fault models on basis of the Satisfiability-Problem.
Exercises and tutorial lessons are simply important - computer scientists have to know how their machines work.
The other main focus is research - formal verification of circuits must become easier! So far designs are rarely formally verified - too difficult - this is to be changed ...
My role in the the work-group is about developing techniques for design-space exploration and visualization. These techniques are priory used in hardware-software co-design, to develop integrated environments which optimize the VLSI-CAD.
My research interest is formal verification of circuits. The goal of formal
verification is to prove the correctness of circuits (in contrast to simulation
based approaches whose limitations were highlighted e.g. by the Pentium Bug).
Especially, I examine how information of high-level descriptions can be used
effectively in the formal verification process. Thereby the system description
language SystemC plays an important role.
During my studies of Computer Science I did researches on binary decision diagrams. Nowadays I am working in the area of formal verification and validation.
My research is mainly about formal verification. In particular, I am working on the verification of micro processors. I am studying how to automate the verification and make it easier to handle.
My main interests are in full search space exploration with techniques known from circuit design, using word level information for circuit verification and fault ordering heuristics for ATPG.
My main focus lies on the one hand in research and there specially in the technical documentation and formal specification from circuits and systems on the other hand in care of courses and seminars in basic and main studies.
My principally research interests cover the subject areas of the satisfiability problem (SAT) and the optimization of false path analysis as well as the study of crosstalks.
I work at the Fraunhofer Institute for Integrated Circuits, Division Design Automation and strengthen the group from Dresden. My interests mainly lie, faithfully the slogan of the Fraunhofer Gesellschaft, in the application oriented research. Here some must be done in order to successfully use theoretical procedures and experimental methods in industrial practice. In this field I deal with static and dynamic analysis to assure the quality of circuits as well as to support formal verification.
My main goal is the analysis of the SystemC hardware description language. I develope methods and tools for analyzing and debugging. Another focus is the research in the area of formal verification.
In the past, my research interest has been SAT-Solving. Now, at the group of computer architecture, I mainly focus on Automatic Test Pattern Generation. Goal is to combine these two techniques.
My main research interests are on SAT and SAT-related topics. So I am trying to improve the existing algorithms and to utilize them for other approaches in formal verification, automatic test pattern generation, etc.
I am Fachinformatikerin in the emphasis application development specialized in Multimedia. I concern myself primarily with design and the development from websites based on CMS.
