You're half done. I love your architecture (use the PC's memory and computational power coupled via a USB to a relatively small device). Now just add a signal generator.
For the first product, a separate signal generator would be fine. But eventually make a "Combi" with a logic analyzer and signal generator in one package (and one USB connection).