Նմանատիպ նյութեր: Logic synthesis and verifications algorithms