Educational Programmable Hardware Prototyping and Verification System.
Andrej TrostAndrej ZemvaBaldomir ZajcPublished in: FPL (2000)
Keyphrases
- low cost
- single chip
- hardware designs
- hardware and software
- digital signal processors
- real time
- general purpose processors
- general purpose
- model checking
- e learning
- formal verification
- multimedia
- educational games
- educational technology
- learning technologies
- rapid prototyping
- low power
- signal processor
- computer systems
- formal education
- development process
- computing power
- hardware implementation
- embedded systems
- face verification
- web based learning
- vlsi implementation
- image processing
- formal methods
- hardware architecture
- educational systems
- programmable logic
- verification method
- computing systems
- learning analytics