The top documents of synthesis-software