Carlos M. Roman

Publication Activity (10 Years)

Years Active: 1981-1997
Publications (10 Years): 0

Publications

Carlos M. Roman
Is there a crisis in hardware verification? CHARME (1997)
Carlos M. Roman, Gary De Palma, Robert P. Kurshan
Model checking without hardware drivers. CHARME (1997)
M. Ray Mercer, Vishwani D. Agrawal, Carlos M. Roman
Test Generation for Highly Sequential Scan-Testable Circuits Through Logic Transformation. ITC (1981)