/* Signal generation init */
void emit_init(int alt, PinName pin, PinMode mode);
-/* Configure GPIO output */
-void emit_enable(uint64_t start, uint64_t period);
+/* Configure signal generation phase */
+void emit_set_start(uint64_t start);
+
+/* Configure signal generation frequency */
+void emit_set_period(uint64_t period);
/* Queue GPIO signal if due */
void emit_transmit(uint64_t local, uint64_t world);