Bernd Stöhr

According to our database, Bernd Stöhr authored at least 2 papers between 1999 and 2002.

Collaborative distances:

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

2002

FlexBench: Reuse of Verification IP to Increase Productivity.

Bernd Stöhr, Michael Simmons, Joachim Geishauser

Proceedings of the 2002 Design, 2002

1999

Eine neue Methode zur Spezifikation von komplexen Steuerwerken unter der Randbedingung der Synthese und eines kurzen Entwurfszyklus.

Bernd Stöhr, Utz G. Baitinger

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