Jürgen Frößl

According to our database, Jürgen Frößl authored at least 7 papers between 1990 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

Post sign-off leakage power optimization.

Hamed Abrishami, Jinan Lou, Jeff Qin, Jürgen Frößl, Massoud Pedram

Proceedings of the 48th Design Automation Conference, 2011

2002

Synthese großer Schaltungen.

Jürgen Frößl

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

1996

An Efficient Algorithm for Real-Time Symbolic Model Checking.

Jürgen Frößl, Thomas Kropf, Joachim Gerlach

Proceedings of the 1996 European Design and Test Conference, 1996

1995

Verifying real-time properties of MOS-transistor circuits.

Jürgen Frößl, Thomas Kropf

Proceedings of the 1995 European Design and Test Conference, 1995

1994

A New Model to Uniformly Represent the Function and Timing of MOS Circuits and its Application to VHDL Simulation.

Jürgen Frößl, Thomas Kropf

Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

1991

Module Generation for AND/XOR Fields (XPLAs).

Jürgen Frößl, Bernhard Eschermann

Proceedings of the Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1991

1990

A hardware implementation of a modified DES-algorithm.

Thomas Kropf, Jürgen Frößl, W. Beller, T. Giesler

Microprocessing and Microprogramming, 1990