Chris W. H. Strolenberg

According to our database, Chris W. H. Strolenberg authored at least 4 papers between 2000 and 2010.

Collaborative distances:

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

2010

Checking and deriving module paths in Verilog cell library descriptions.

Matthias Raffelsieper, Mohammad Reza Mousavi, Chris W. H. Strolenberg

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models.

Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2000

Tutorial Statement.

Yervant Zorian, Michael Nicolaidis, Peter Muhmenthaler, David Y. Lepejian, Chris W. H. Strolenberg, Kees Veelenturf

Proceedings of the 2000 Design, 2000

Stay Away from Minimum Design-Rule Values.

Chris W. H. Strolenberg

Proceedings of the 2000 Design, 2000