Camilo Rojas
Biography

alt text            

Digital circuit designer with a demonstrated work in low-power on-chip bus-peripherals interfaces for microcontrollers based on RISC-V ISA. Skilled in Cadence digital design synthesis flow, computer arch, PCB testing and design, Verilog, C++, Python. Strong education professional graduated from Universidad Industrial de Santander. My main interests involve formal and functional verification methods and challenges. 

Research interests:

My main interests involve formal and functional verification methods and challenges.

Email:

camilo.rojas2@correo.uis.edu.co

Personal:

Linkedln

www.linkedin.com/in/camilo-rojas

Google Scholar

https://scholar.google.com/citations?hl=en&user=-_SkHf4AAAAJ