RTL Simulation Acceleration with Machine Learning Models.
Proceedings of the 25th International Symposium on Quality Electronic Design, 2024
Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis.
Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014
Mechanical Certification of Loop Pipelining Transformations: A Preview.
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014