what is the highest frequency that might be viable / has been tested with all-digital (not too noise-sensitive) designs (as well as the RISC-V itself)?