ISAMORE Finding reusable instructions via e-graph anti-unification APS/Aquas Holistic MLIR-based ASIP hardware-software co-design framework SkyEgg Joint implementation selection and scheduling using e-graphs Cement Cycle-deterministic embedded HDL in Rust with event-based control synthesis Hector Multi-level IR for hardware synthesis built on MLIR Cayman Automatic accelerator generation with control flow and data access optimization