Carlos M. Roman

According to our database, Carlos M. Roman authored at least 3 papers between 1981 and 1997.

Collaborative distances:

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

1997

Model checking without hardware drivers.

Carlos M. Roman, Gary De Palma, Robert P. Kurshan

Proceedings of the Advances in Hardware Design and Verification, 1997

Is there a crisis in hardware verification?

Carlos M. Roman

Proceedings of the Advances in Hardware Design and Verification, 1997

1981

Test Generation for Highly Sequential Scan-Testable Circuits Through Logic Transformation.

M. Ray Mercer, Vishwani D. Agrawal, Carlos M. Roman

Proceedings of the Proceedings International Test Conference 1981, 1981