The top documents tagged [lib synthesis models]