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

 

সংরক্ষণ করুন:
গ্রন্থ-পঞ্জীর বিবরন
লেখক: Pacheco-Castro, José Andrés
বিন্যাস: tesis de maestría
প্রকাশনার তারিখ:2022
বিবরন:Proyecto de Graduación (Maestría en Electrónica), Instituto Tecnológico de Costa Rica, Escuela de Ingeniería Electrónica, 2022.
দেশ:RepositorioTEC
প্রতিষ্ঠান:Instituto Tecnológico de Costa Rica
Repositorio:RepositorioTEC
ভাষা:Inglés
OAI Identifier:oai:repositoriotec.tec.ac.cr:2238/14062
অনলাইন ব্যবহার করুন:https://hdl.handle.net/2238/14062
মুখ্য শব্দ: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)

অনুরূপ উপাদানগুলি