Pātuhitia tēnei: ASIC Verification Technology Brings Bugs To Their Knees