Design, Implementation, and Verification of an Adaptable Processor in Lava HDL.
Stefan SchulzeSergei SawitzkiPublished in: ARC (2011)
Keyphrases
- functional verification
- design methodology
- implementation issues
- case study
- computer architecture
- memory management
- building blocks
- formal verification
- engineering design
- design decisions
- design process
- current status
- design principles
- design considerations
- platform independent
- knowledge based systems
- high level synthesis
- low cost