Vlsi, Physical Design, Asic Design, Semiconductors, Semiconductor Technology.
consistency between logical and physical libraries. There are arcs from the input to the output of a cell, this command checks if all the arc delays are present or not. It checks the qualities of both libraries. Command for library check: check_library These were sanity checks that you must do