SOFA-H: Post-Synthesis Area Optimization via Functionally Encoded, Net-Driven Subgraph Mining and SAT-Based Hypercell Remapping.

Jimmy Y.-C. Lee, Yen-Ju Su, Jiun-Cheng Tsai, Aaron C.-W. Liang, Charles H.-P. Wen, Hsuan-Ming Huang

Browse the full ASPDAC paper archive.