Methods for statistical slew propagation during block-based...
Methods of implementing multi-cycle paths in electronic...
Methods of verifying functional equivalence between FPGA and...
Minimizing impact of design changes for integrated circuit...
Minterm tracing and reporting