The top documents tagged [synthesizing circuits]