Property-driven automatic generation of reduced component hardware Grant US-12437133-B2 United States of America 07 Oct 2025