Thomas Sidle

According to our database, Thomas Sidle authored at least 5 papers between 1974 and 2005.

Collaborative distances:

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

2005

Dynamic abstraction using SAT-based BMC.

Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle

Proceedings of the 42nd Design Automation Conference, 2005

Error Detection Using BMC in a Parallel Environment.

Subramanian K. Iyer, Jawahar Jain, Mukul R. Prasad, Debashis Sahoo, Thomas Sidle

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004

Invariant Checking Combining Forward and Backward Traversal.

Christian Stangier, Thomas Sidle

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

1980

Weaknesses of commercial data base management systems in engineering applications.

Thomas Sidle

Proceedings of the 17th Design Automation Conference, 1980

1974

A programmable configurator.

F. Beuger, Thomas Sidle, L. W. Leyking, A. G. Livitsanos

Proceedings of the 11th Design Automation Workshop, 1974