PIERCE GREGORY A

Automated analysis of RTL code containing ASIC vendor rules