Simplifying RTL design and verification in chip manufacturing: A paradigm for Electronics Teaching using Open-Source tools.
José-Miguel Galeas-MerchánJosé-Borja Castillo-SánchezMartín González-GarcíaPublished in: DCIS (2023)
Keyphrases
- open source
- functional verification
- case study
- design decisions
- circuit design
- design process
- physical design
- formal verification
- learning environment
- online learning
- concurrent engineering
- interactive learning environments
- virtual laboratory
- single chip
- product design
- formal methods
- design tools
- learning systems
- hybrid learning
- high speed
- open source software
- low power
- high school
- design patterns
- higher education