13 products from Allegro MicroSystems, Inc.