Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis.

Disha Puri Sandip Ray Kecheng Hao Fei Xie

Published in: ACL2 (2014)

Keyphrases

natural language learning
artificial intelligence
parallel processing
program synthesis
genetic algorithm
decision trees
cooperative
behavioral patterns
fine grain
verification method
behavioral model