Language-driven Validation of Pipelined Processors using Satisfiability Solvers.
Prabhat MishraHeon-Mo KooZhuo HuangPublished in: MTV (2005)
Keyphrases
- parallel architecture
- parallel processing
- language learning
- programming language
- specification language
- parallel algorithm
- natural language
- data driven
- english language
- databases
- data sets
- neural network
- parallel processors
- computational linguistics
- object oriented programming
- language processing
- data flow
- real time
- case study
- artificial intelligence