ASIC design and verification | Zoonk