Search papers, labs, and topics across Lattice.
Hong Kong University of Science and Technology
4
0
7
IMPart redefines hypergraph partitioning by seamlessly integrating memetic operations, leading to superior solution quality for large-k scenarios.
Community structures can transform hypergraph partitioning, allowing for superior solutions that escape local optima.
LLMs can now be rigorously tested on their ability to automatically generate assertions that catch bugs in real-world hardware designs, thanks to a new benchmark that includes buggy RTL variants.
An agentic framework, Dr.~RTL, outperforms industry-leading commercial tools in RTL timing optimization by 21% WNS and 17% TNS improvement, demonstrating the potential of tool-grounded self-improvement.
