Text this: ASIC design with AHPL