used DC and quartus to generate netlists