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

 

Saved in:
Bibliographic Details
Author: Pacheco-Castro, José Andrés
Format: tesis de maestría
Publication Date:2022
Description:Proyecto de Graduación (Maestría en Electrónica), Instituto Tecnológico de Costa Rica, Escuela de Ingeniería Electrónica, 2022.
Country:RepositorioTEC
Institution:Instituto Tecnológico de Costa Rica
Repositorio:RepositorioTEC
Language:Inglés
OAI Identifier:oai:repositoriotec.tec.ac.cr:2238/14062
Online Access:https://hdl.handle.net/2238/14062
Keyword: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)