Parallel Combinational Equivalence Checking.
Vinicius N. PossaniAlan MishchenkoRenato P. RibasAndré Inácio ReisPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)
Keyphrases
- parallel processing
- artificial neural networks
- massively parallel
- parallel implementation
- shared memory
- power consumption
- distributed memory machines
- asynchronous circuits
- distributed processing
- distributed memory
- real time
- high speed
- computational complexity
- multi agent
- image segmentation
- social networks
- machine learning
- data mining