Trong quá trình Synthesis, công cụ nào thường được sử dụng để tự động chuyển đổi mô tả logic thành mạch vật lý?