PRASOON PRATYUSH K

Method for checking constraints equivalence of an integrated circuit design