Carlos Ivan Castro Marquez
According to our database1,
Carlos Ivan Castro Marquez
authored at least 8 papers
between 2009 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
A Unified Sequential Equivalence Checking Methodology to Verify RTL Designs with High-Level Functional and Protocol Specification Models.
J. Electron. Test., 2015
2014
A unified sequential equivalence checking approach to verify high-level functionality and protocol specification implementations in RTL designs.
Proceedings of the 15th Latin American Test Workshop, 2014
2013
Proceedings of the 14th Latin American Test Workshop, 2013
Functional verification of complete sequential behaviors: A formal treatment of discrepancies between system-level and RTL descriptions.
Proceedings of the 8th International Design and Test Symposium, 2013
2011
A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling.
J. Electron. Test., 2011
Proceedings of the 12th Latin American Test Workshop, 2011
2010
Proceedings of the 11th Latin American Test Workshop, 2010
2009
Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, 2009