Carlos Ivan Castro Marquez

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Topics

Formal Treatment

Protocol Specification

Hardware Designs

Top Venues

J. Electron. Test.

Publications

Carlos Ivan Castro Marquez, Marius Strum, Jiang Chau Wang
A Unified Sequential Equivalence Checking Methodology to Verify RTL Designs with High-Level Functional and Protocol Specification Models. J. Electron. Test. 31 (3) (2015)
Carlos Ivan Castro Marquez, Marius Strum, Jiang Chau Wang
A unified sequential equivalence checking approach to verify high-level functionality and protocol specification implementations in RTL designs. LATW (2014)
Carlos Ivan Castro Marquez, Marius Strum, Jiang Chau Wang
Functional verification of complete sequential behaviors: A formal treatment of discrepancies between system-level and RTL descriptions. IDT (2013)
Carlos Ivan Castro Marquez, Marius Strum, Jiang Chau Wang
Formal equivalence checking between high-level and RTL hardware designs. LATW (2013)
Carlos Ivan Castro Marquez, Marius Strum, Wang Jiang Chau, Fabian Vargas
Formally verifying an RTOS scheduling monitor IP core in embedded systems. LATW (2011)
Carlos Ivan Castro Marquez, Edgar Leonardo Romero Tobar, Marius Strum, Jiang Chau Wang
A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling. J. Electron. Test. 27 (4) (2011)
Carlos Ivan Castro Marquez, Marius Strum, Wang Jiang Chau
Automatic generation of a parameter-domain-based functional input coverage model. LATW (2010)
Carlos Ivan Castro Marquez, Marius Strum, Jiang Chau Wang
A PD-based methodology to enhance efficiency in testbenches with random stimulation. SBCCI (2009)