Descripción: SCAsrt: An on-line assertion library for SystemC TLM 2.0

Proyecto de Graduación (Maestría en Electrónica), Instituto Tecnológico de Costa Rica, Escuela de Ingeniería Electrónica, 2022.

Autor Principal:	Pacheco-Castro, José Andrés
Otros Autores:	Castro-Jiménez, Gerardo José
Formato:	Tesis
Idioma:	Inglés
Publicado:	Instituto Tecnológico de Costa Rica 2022
Materias:	Circuitos integrados Sistemas electrónicos Bibliotecas de aserciones Simulación Verificación > Diseños de hardware Diseño de alto nivel Integrated circuits Electronic systems Assertion Libraries Simulation Verification > Hardware Designs High level design Research Subject Categories::TECHNOLOGY::Electrical engineering, electronics and photonics Property Specification Language (PSL) Computational tree logic (CTL) field programmable gate array (FPGA) Very Large Scale Integration (VLSI)
Acceso en línea:	https://hdl.handle.net/2238/14062

Sumario:	Proyecto de Graduación (Maestría en Electrónica), Instituto Tecnológico de Costa Rica, Escuela de Ingeniería Electrónica, 2022.