Synthesis of speed-independent circuits from STG-unfolding segment | Publicación