An ASIC design and formal analysis of a novel pipelined and parallel sorting accelerator.
Nozar TabriziNader BagherzadehPublished in: Integr. (2008)
Keyphrases
- formal analysis
- parallel implementation
- design methodology
- design process
- circuit design
- formal methods
- parallel architecture
- computer architecture
- hardware architecture
- machine learning
- single chip
- design tools
- hardware implementation
- embedded systems
- parallel processing
- knowledge representation
- query language
- user interface