समान संसाधन: Logic synthesis and verifications algorithms