Not only can you view high-level RTL or technology schematics you can easily analyze the most critical logic by creating filtered schematics of the timing paths.