計算幾何学
集積回路の幾何学的設計と検証