SCAsrt: An on-line assertion library for SystemC TLM 2.0
Αποθηκεύτηκε σε:
| Συγγραφέας: | |
|---|---|
| Μορφή: | 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 |
| Διαθέσιμο Online: | 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) |