Mixed PTL/Static Logic Synthesis  Project Page