Martha Barker, Mark Santolucito, Stephen A. Edwards, Martha A. Kim. Automated Power Domain Insertion and Control in Dataflow Circuits. In Proceedings of the International Symposium on Formal Methods and Models for System Design, MEMOCODE 2025, Taipei International Convention Center (TICC), Taipei, Taiwan, 28 September 2025 - 3 October 2025. pages 86-90, ACM, 2025. [doi]
Abstract is missing.