Towards verifying VHDL descriptions of processors.
Laurent ArditiHélène CollavizzaPublished in: EURO-DAC (1995)
Keyphrases
- parallel algorithm
- parallel processing
- hardware implementation
- high end
- hardware design
- model checking
- high performance computing
- circuit design
- hardware description language
- real time
- embedded processors
- single processor
- parallel computation
- parallel computing
- shared memory
- search algorithm
- case study
- web services
- learning algorithm
- genetic algorithm
- neural network